summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2017-04-29 19:47:04 +0100
committerJustin Lecher <jlec@gentoo.org>2017-04-29 19:49:16 +0100
commit92715265f5e37292e57673f39c5372a268778c44 (patch)
tree66a50bb70e4d2de5c7c08660043176f3909d7d96 /dev-lang/teyjus/metadata.xml
parentsci-libs/libghemical: Drop old (diff)
downloadgentoo-92715265f5e37292e57673f39c5372a268778c44.tar.gz
gentoo-92715265f5e37292e57673f39c5372a268778c44.tar.bz2
gentoo-92715265f5e37292e57673f39c5372a268778c44.zip
Globally add missing remote ID references to metadata.xml
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'dev-lang/teyjus/metadata.xml')
-rw-r--r--dev-lang/teyjus/metadata.xml17
1 files changed, 10 insertions, 7 deletions
diff --git a/dev-lang/teyjus/metadata.xml b/dev-lang/teyjus/metadata.xml
index 88956a796714..472f7ac2b56a 100644
--- a/dev-lang/teyjus/metadata.xml
+++ b/dev-lang/teyjus/metadata.xml
@@ -1,11 +1,11 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<maintainer type="person">
- <email>gienah@gentoo.org</email>
- <name>Mark Wright</name>
-</maintainer>
-<longdescription lang="en">
+ <maintainer type="person">
+ <email>gienah@gentoo.org</email>
+ <name>Mark Wright</name>
+ </maintainer>
+ <longdescription lang="en">
The Teyjus system is an efficient implementation of the higher-order
logic programming language Lambda Prolog. The main strength of Lambda
Prolog, a language developed by Dale Miller and Gopalan Nadathur, is
@@ -25,5 +25,8 @@ significantly improved virtual machine that has been designed by
Xiaochu Qi as part of her doctoral dissertation work at the University
of Minnesota. This virtual machine extensively exploits a special form
of higher-order unification known as pattern unification.
-</longdescription>
+ </longdescription>
+ <upstream>
+ <remote-id type="github">teyjus/teyjus</remote-id>
+ </upstream>
</pkgmetadata>