diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-03-16 18:48:52 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-16 18:48:52 +0000 |
| commit | f265f17242b04ae036b4dc174fa95401d895dbc5 (patch) | |
| tree | 8daa848087a673b8bf5dad576b0a08048d551da7 /dev-lang/teyjus | |
| parent | d08ea43e9ada434f42f4be8e115b67ab22ce38af (diff) | |
gentoo auto-resync : 16:03:2024 - 18:48:51
Diffstat (limited to 'dev-lang/teyjus')
| -rw-r--r-- | dev-lang/teyjus/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/teyjus/teyjus-2.1-r2.ebuild | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/teyjus/Manifest b/dev-lang/teyjus/Manifest index 91f4830c9edf..b15667c0753b 100644 --- a/dev-lang/teyjus/Manifest +++ b/dev-lang/teyjus/Manifest @@ -5,5 +5,5 @@ AUX teyjus-2.1-p004-Renaming-ccode_stubs-for-compilation.patch 2446 BLAKE2B 7731 AUX teyjus-2.1-p005-Unbundle-ocaml-header-files.patch 1366 BLAKE2B 73d9f8c81c04e2e6557bf1d49919fe7af5552129546f7b1580e18fde23b3f4d1a11ba135b2e0025c9f6714f9f87df7b7dde7a4e8f1ce692e5d31171c710a6046 SHA512 d1f8f9dd7c707d53548a16ecceaf12623cf80a7ae325a0da53eae230aae63898629b11e96158b469f8b183b5e2125da496f37e623019552a13e422a1d0676397 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 +EBUILD teyjus-2.1-r2.ebuild 3141 BLAKE2B 2aa1c341b947f606c8806335bce073b9be484fc92f270728183589e5ce8ae88b609f68eef54d3cddd8c8a6016989237818c1807916edb5eee4fbc3b6be605bd9 SHA512 ce69568131ac1609d4c3b93ba20913e18081b568af7d2bdd88974c6f2ab282162ee20c615f614162246bb5d1d6926a21552d08129ee56f2d3762e571937eeddc MISC metadata.xml 1572 BLAKE2B 3edda24b42cb2403ab2142786f518b70bd78c598432a21143ec407cfd6624b16565bcf94af69ce33f7d85e77f7ba618d2b96bad1296254223406c7ece0327013 SHA512 9c493a1425d1259e608c7f462bdfc33e3fbc61002d0f11c1b2162e4fee9247cff297f1127321335a341a92f74441bd92c52f3432de9d473c02977f465691be81 diff --git a/dev-lang/teyjus/teyjus-2.1-r2.ebuild b/dev-lang/teyjus/teyjus-2.1-r2.ebuild index b68958a360ab..6c07d0332e1b 100644 --- a/dev-lang/teyjus/teyjus-2.1-r2.ebuild +++ b/dev-lang/teyjus/teyjus-2.1-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -6,12 +6,12 @@ EAPI=8 inherit elisp-common DESCRIPTION="Higher-order logic programming language Lambda Prolog" -HOMEPAGE="http://teyjus.cs.umn.edu/" +HOMEPAGE="https://teyjus.cs.umn.edu/" SRC_URI="https://github.com/teyjus/teyjus/archive/v${PV}.tar.gz -> ${P}.tar.gz" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" LICENSE="GPL-3" +KEYWORDS="~amd64 ~x86" IUSE="emacs examples" RDEPEND="dev-lang/ocaml[ocamlopt] |