diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-05-01 00:00:05 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-05-01 00:00:05 +0100 |
| commit | 3d12b65aa1b4bb8b02b1f8d3e77bccf230b79a09 (patch) | |
| tree | cb6347688c91bfbdebe49a78a55dad3d72cc193e /dev-lang/xsb | |
| parent | 4c2b70adc6484c35ff05e412de08a7b7f50cfb34 (diff) | |
gentoo auto-resync : 01:05:2024 - 00:00:04
Diffstat (limited to 'dev-lang/xsb')
| -rw-r--r-- | dev-lang/xsb/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/xsb/xsb-4.0.0.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/xsb/Manifest b/dev-lang/xsb/Manifest index db8e5cc2eed2..7e006e60c2f0 100644 --- a/dev-lang/xsb/Manifest +++ b/dev-lang/xsb/Manifest @@ -3,5 +3,5 @@ DIST XSB38.tar.gz 13830570 BLAKE2B 60a6ab38435348d09e2d08bc65ca62c06b38495b72f40 DIST xsb-3.8.0-gentoo-patchset-5.tar.gz 7748 BLAKE2B 291beb7a2bf567708119eb200e06fd0d6ac976b5eaea9646d9b5fe9fe67908e01f48b1e55e36fc98f7fe75ee4b654422bc0f9c565e00ac75fe36cccd0439bc2b SHA512 cd3762545bb0b0c5532607741f5946658cacf062c21913c8261988a2162ab848d860ae5a0d11d7a4b8b36994f7fbc91c6e6b4fa607e8cc6ebed434dbf421dec1 DIST xsb-4.0.0-gentoo-patchset-3.tar.gz 10487 BLAKE2B 37253b8e5bfd36cdf51f231e75215ea31d50f121e3c8b1126adfbc8998622f2a4ebdb976b3c67c13738095fd4b23b35e166a895c4ee038b1cae7ad962684ce86 SHA512 51738e5dd64711f42e5c8d831c955c533dbe900a129cc0e7eb5d393ef13d7b6206e5e9fc0e90b1422adb2d8c00ec870a50164d420a02da23770ba0ad3350b10b EBUILD xsb-3.8.0.ebuild 3684 BLAKE2B f3cb8e31a72ba410cbd38ca3da137097bca0fa5bce2799d47b848a12c32dbd4918cbdc440df570833ff377b85c565ff8417d7d244a7421989508df4ae2c837a3 SHA512 bec9a89c10256988a9ab42ebd75ee25fab4acf0eb3cf08614e6644e6dee8c49e3d95c77095fcd31fbd017b3c53a337d30efa418a4129570b8d2c2268704d8250 -EBUILD xsb-4.0.0.ebuild 4180 BLAKE2B a46808faba7d8d89a48678590a0f9b621618765c114254f682d89b7e020fe4fe42ee5b9b4a6ce350f13049a68520d87d1c5f45f56bf96fb62f0436c8f0e11135 SHA512 d890fe6533dd173e365ffa6ee0ac92e883a71d715b5e9a912efabc841d4b32eb8e311c771fa08c9eadbb9ec7da0c9b3680f2f50b2af12b5c3d9d168e511dbbb8 +EBUILD xsb-4.0.0.ebuild 4193 BLAKE2B 6f8ca08d69f02672c62c42607cf6b8f3002211eab29df515a6b75f6dee1c19b1a956d1c9306e7440ca87eea531ed22fa0b718512f385f9e4751cf17d563aa11f SHA512 dc4751a7bf7c9cdcfd16f0a8a2055c068ec5220174aabdc50fe42088645cdcf02aa590edb01c0aa6bed1b2302b258111eb9342fd795668977859764c3a8731a6 MISC metadata.xml 407 BLAKE2B bf2a1312d435a5b31fcc0536849ded569d7512ec8e2e7471c253586bc866e7ffb915311725efeef8f2c7d227a82ba615a5fa69380454efb654e719177e35a67e SHA512 87aa031c2a64c878f24be293a3e4cdf391b696a7ef96faa4f209fcfeb56db74f29a1e3de7ad845f84eca86d8b81944ecae6e4ea1119699b72bfcf125735a0c03 diff --git a/dev-lang/xsb/xsb-4.0.0.ebuild b/dev-lang/xsb/xsb-4.0.0.ebuild index cf7cf74c2ba5..6739cc6695c0 100644 --- a/dev-lang/xsb/xsb-4.0.0.ebuild +++ b/dev-lang/xsb/xsb-4.0.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -9,7 +9,7 @@ inherit autotools java-pkg-opt-2 DESCRIPTION="XSB is a logic programming and deductive database system" HOMEPAGE="http://xsb.sourceforge.net" -SRC_URI="mirror://sourceforge/xsb/XSB-$(ver_rs 1-3 -).tar.gz +SRC_URI="https://downloads.sourceforge.net/xsb/XSB-$(ver_rs 1-3 -).tar.gz https://dev.gentoo.org/~keri/distfiles/xsb/${P}-gentoo-patchset-${PATCHSET_VER}.tar.gz" LICENSE="GPL-2 LGPL-2" |