From 30a6adefa8b48a8113422dffcfa9ab53307a7724 Mon Sep 17 00:00:00 2001 From: Michael Mair-Keimberger Date: Fri, 29 Mar 2024 17:30:36 +0100 Subject: [PATCH] dev-haskell/type-equality: add missing remote-id Signed-off-by: Michael Mair-Keimberger Signed-off-by: Conrad Kostecki --- dev-haskell/type-equality/metadata.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dev-haskell/type-equality/metadata.xml b/dev-haskell/type-equality/metadata.xml index 48f5add4683ef..1c5ebbe9daa92 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. + + hesselink/type-equality +