summaryrefslogtreecommitdiff
path: root/dev-lang/teyjus
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 /dev-lang/teyjus
parentf7379fa6ffb6e47eabc62d0d832a5bcad1db9591 (diff)
gentoo auto-resync : 14:02:2024 - 11:36:23
Diffstat (limited to 'dev-lang/teyjus')
-rw-r--r--dev-lang/teyjus/Manifest2
-rw-r--r--dev-lang/teyjus/metadata.xml5
2 files changed, 2 insertions, 5 deletions
diff --git a/dev-lang/teyjus/Manifest b/dev-lang/teyjus/Manifest
index a35a91b6a138..91f4830c9edf 100644
--- a/dev-lang/teyjus/Manifest
+++ b/dev-lang/teyjus/Manifest
@@ -6,4 +6,4 @@ AUX teyjus-2.1-p005-Unbundle-ocaml-header-files.patch 1366 BLAKE2B 73d9f8c81c04e
AUX teyjus-2.1-p006-Version.patch 444 BLAKE2B 85bbfc958760a5d738897be6d6fbe4e16cadd1d7ad64093a4b496b43b761a6ea814be9ae184ae30ad081fe1a90ebb61f1cdf9032fea38350d6c2e06764725f04 SHA512 eb5e281e76e8d235fcc325ef4a451f0bbe29f1fafd59fdd833b8da64cb9a1c15cbfd0ffddd61d4118e76f8b3ebcd3118bd5c0a3a886f81fc04a2ec09fdb764cd
DIST teyjus-2.1.tar.gz 723763 BLAKE2B ab6a98c2d2291620b586ab0b419a214b0f7c0b27aad444324e5a417c1a0b27382e2d5c622f798ea88cab77853bca3305ec37904c50a7304ace20237afb993b91 SHA512 1f71d19502f4f4da00f635d2c3d4e141403182d65f039e0d43660edf84c5fcd900e7225ac92dc5bdbe0c8379c4e2ce6e27879af504fcfafddf2695a0c8a13379
EBUILD teyjus-2.1-r2.ebuild 3140 BLAKE2B d0c9b69ca78776d2754d2a890bddb9cfd8ab9c671a9790d34a67a41c66123f84aada81b7a90a149c5efee6e7d6473301ecc02cdaa5a879cde6fb349196e0fbed SHA512 4a19d269c2331fe5c7bd5ea5eb88e5f42c7c1b7983173196432feef9a6d8985b7e13984f66e1661a58abb259ee6760e3bcb99499ac0401be3d8bf826540e641f
-MISC metadata.xml 1654 BLAKE2B 6361e555cae1b12db47e36e7362c78262a5753ecdb9fb3e8e5386d3945d6f7aeeaeb32e98c3a71e40a017c0bd9ff2d576205e3db96771f67ce7ad888cc2f12cf SHA512 077b511496bda9dfa0f577bac466a33fd5d4b5b759ae243157b385b244c7e9b210c3f7fc0221ed48c7f4277dd86f9f05fed484c375747bcda590258f278cda41
+MISC metadata.xml 1572 BLAKE2B 3edda24b42cb2403ab2142786f518b70bd78c598432a21143ec407cfd6624b16565bcf94af69ce33f7d85e77f7ba618d2b96bad1296254223406c7ece0327013 SHA512 9c493a1425d1259e608c7f462bdfc33e3fbc61002d0f11c1b2162e4fee9247cff297f1127321335a341a92f74441bd92c52f3432de9d473c02977f465691be81
diff --git a/dev-lang/teyjus/metadata.xml b/dev-lang/teyjus/metadata.xml
index 54b8223155d7..1efa8c64ff3b 100644
--- a/dev-lang/teyjus/metadata.xml
+++ b/dev-lang/teyjus/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">
The Teyjus system is an efficient implementation of the higher-order
logic programming language Lambda Prolog. The main strength of Lambda