diff options
Diffstat (limited to 'sci-mathematics/twelf/metadata.xml')
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index 4a8bae3f4e32..938124fd245e 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -1,11 +1,13 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://liguros.gitlab.io/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <longdescription lang="en"> + <!-- maintainer-needed --> + <longdescription lang="en"> Twelf is an implementation of the logical framework LF. It is used for logic programming and for the formalization of programming language theory. </longdescription> - - <origin>liguros-repo</origin> -</pkgmetadata>
\ No newline at end of file + <upstream> + <remote-id type="github">standardml/twelf</remote-id> + </upstream> +</pkgmetadata> |
