summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-02-14 11:36:24 +0000
committerV3n3RiX <venerix@koprulu.sector>2024-02-14 11:36:24 +0000
commit3a5772102e4f2b6f9cc46f461c90970060ae0c5e (patch)
treed5aebb2508413a75408fd60bd4cb2c886b78ba89 /sci-mathematics/twelf
parentf7379fa6ffb6e47eabc62d0d832a5bcad1db9591 (diff)
gentoo auto-resync : 14:02:2024 - 11:36:23
Diffstat (limited to 'sci-mathematics/twelf')
-rw-r--r--sci-mathematics/twelf/Manifest2
-rw-r--r--sci-mathematics/twelf/metadata.xml5
2 files changed, 2 insertions, 5 deletions
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
index e78a7e736673..fcb0c8796695 100644
--- a/sci-mathematics/twelf/Manifest
+++ b/sci-mathematics/twelf/Manifest
@@ -12,4 +12,4 @@ AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc3
AUX twelf-1.7.1-remove-svnversion.patch 241 BLAKE2B f92db57c82d31fae8518d0a3947fd0ebf24ab06aa51fbf0e3a2b271eb30583904d5487f3f4b2605d5ca168f78ca7eed0fdcb4473604c4ae83a2807416341c99b SHA512 07bb5f88580dcb6ae722d7af98c58c96453871f8ce6eb107fbedafc6939a0d8871e3820e933cdc90aa6ca17d8909717f607e3819c34f5f852b7606a7680e7462
DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df
EBUILD twelf-1.7.1-r2.ebuild 2717 BLAKE2B 03351db21a04ed6555f7dd9b559d29ad03a10451a29740e92877d447c45da8baefc19256b8b8e0c98b7149dcde41cea25900249086fb460d955b75a5f0f9ef84 SHA512 2188bdc4a8299a0fd4dea45f3a3c9565ec2c546f7c895898190df7dd05545ca143658d6f4a5ec3bcdf4c5d4db6813e6f5a666da2b9f9ca50e320aad94b8ab73a
-MISC metadata.xml 455 BLAKE2B b6129a72964285771e69465dcb9e4b1b5a7437530f946712ba6a64b5f7ae317400833cd54ffe6de02e84fdbc699dc9e56510b4fdd41b3b575ff5069d682c0293 SHA512 cc5dfa6dbd846c77784b59d2b71ea8613dc25f2af676db3bae8b5fad1a6bc45d56b74278451f449de2d13ca8c2cb6c651b6bf329aa59a192dcfed0832c0359f4
+MISC metadata.xml 373 BLAKE2B 850c000dae8d5cdd0725b5a998d7e3920c479af1a9afd5cb01874a7551bbcd8fff6a32fa50b74aa315a9cb3bd9471841def5874f528002f124e273e0b06b5c7e SHA512 0bd1b4a19e53f141a0c83a0a97a6d291b43da9fd6158ec869691c99d3efe7cc9179d214ef01ee04b60b51256be9d2f1d2b393978a9e55d06555655332f67fa8e
diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml
index 62f2b95ec8fc..d4994fb246a4 100644
--- a/sci-mathematics/twelf/metadata.xml
+++ b/sci-mathematics/twelf/metadata.xml
@@ -1,10 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>gienah@gentoo.org</email>
- <name>Mark Wright</name>
- </maintainer>
+ <!-- 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