gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-haskell/type-equality: add missing remote-id

Browse Source 
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
This commit is contained in:
Michael Mair-Keimberger
2024-03-29 17:30:36 +01:00
committed by Conrad Kostecki
parent 23fce6ddde
commit 30a6adefa8
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-haskell/type-equality/metadata.xml
View File

@@ -15,4 +15,7 @@
producing equality proofs, providing some form of
decidable equality on types.
</longdescription>
<upstream>
<remote-id type="github">hesselink/type-equality</remote-id>
</upstream>
</pkgmetadata>