Skip to content

Commit

Permalink
dev-haskell/type-equality: add missing remote-id
Browse files Browse the repository at this point in the history
Signed-off-by: Michael Mair-Keimberger <[email protected]>
Signed-off-by: Conrad Kostecki <[email protected]>
  • Loading branch information
mm1ke authored and ConiKost committed Apr 17, 2024
1 parent 23fce6d commit 30a6ade
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions dev-haskell/type-equality/metadata.xml
Original file line number Diff line number Diff line change
Expand Up @@ -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>

0 comments on commit 30a6ade

Please sign in to comment.