From 92715265f5e37292e57673f39c5372a268778c44 Mon Sep 17 00:00:00 2001 From: Justin Lecher Date: Sat, 29 Apr 2017 19:47:04 +0100 Subject: Globally add missing remote ID references to metadata.xml Signed-off-by: Justin Lecher --- dev-haskell/uhc-light/metadata.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'dev-haskell/uhc-light') diff --git a/dev-haskell/uhc-light/metadata.xml b/dev-haskell/uhc-light/metadata.xml index cac816ff701e..cd3392e2775f 100644 --- a/dev-haskell/uhc-light/metadata.xml +++ b/dev-haskell/uhc-light/metadata.xml @@ -1,4 +1,4 @@ - + @@ -8,4 +8,7 @@ A 'light' variant of UHC including only an API and executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). This version is just to test the infrastructure. Later versions will provide a fleshing out of the API and completion of the now rudimentary platform independent (Haskell) interpreted running etc.. + + UU-ComputerScience/uhc + -- cgit v1.2.3-18-g5258