diff options
| author | Michael Mair-Keimberger <mmk@levelnine.at> | 2024-03-29 17:30:36 +0100 |
|---|---|---|
| committer | Conrad Kostecki <conikost@gentoo.org> | 2024-04-17 22:59:31 +0200 |
| commit | 30a6adefa8b48a8113422dffcfa9ab53307a7724 (patch) | |
| tree | 422e7cc32b901c19b433a0b35d0401139c254eb8 | |
| parent | 23fce6ddde080cd7ed3d9ae9f6c0ba6c5eacee92 (diff) | |
| download | gentoo-30a6adefa8b48a8113422dffcfa9ab53307a7724.tar.gz gentoo-30a6adefa8b48a8113422dffcfa9ab53307a7724.tar.bz2 gentoo-30a6adefa8b48a8113422dffcfa9ab53307a7724.zip | |
dev-haskell/type-equality: add missing remote-id
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Signed-off-by: Conrad Kostecki <conikost@gentoo.org>
| -rw-r--r-- | dev-haskell/type-equality/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-haskell/type-equality/metadata.xml b/dev-haskell/type-equality/metadata.xml index 48f5add4683e..1c5ebbe9daa9 100644 --- a/dev-haskell/type-equality/metadata.xml +++ b/dev-haskell/type-equality/metadata.xml @@ -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> |