diff options
| author |   Keri Harris <keri@gentoo.org> | 2021-05-10 12:59:01 +0000 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2021-05-10 12:59:16 +0000 |
| commit | 02ba0dbd3e35784600cbf45b817a6fac7d4aa4ab (patch) | |
| tree | 14eb60f7a4aeb38492309eee0b4471fb5385dece /dev-lang/xsb | |
| parent | sci-mathematics/giac: new minor version 1.7.0.5 with forced c++14. (diff) | |
| download | gentoo-02ba0dbd3e35784600cbf45b817a6fac7d4aa4ab.tar.gz gentoo-02ba0dbd3e35784600cbf45b817a6fac7d4aa4ab.tar.bz2 gentoo-02ba0dbd3e35784600cbf45b817a6fac7d4aa4ab.zip | |
dev-lang/xsb: define XSB FltInt for single-threaded engines
Package-Manager: Portage-3.0.18, Repoman-3.0.2
Signed-off-by: Keri Harris <keri@gentoo.org>
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 | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/xsb/Manifest b/dev-lang/xsb/Manifest index 946420c4970e..50a858de712f 100644 --- a/dev-lang/xsb/Manifest +++ b/dev-lang/xsb/Manifest @@ -1,4 +1,4 @@ DIST XSB-4-0-0.tar.gz 15340635 BLAKE2B 4832185a64c6c5786ae78e111c25cd3a5ffc2f80aec9c0c83f030ead482868c77b0d7abbfdf0d113b56fea395eb7e69ca2970a82ea70004fb78c0bf4de258a9d SHA512 fed1e0db4874db2508e0c1e716be20cbfbc4f7ed4c16e0b220750cfb3dfceb78bbdce0f8564b68c400af1bc2b8f9e3b35014e8849bba1705bddfab824f41e816 DIST XSB38.tar.gz 13830570 BLAKE2B 60a6ab38435348d09e2d08bc65ca62c06b38495b72f40a6f3f10fe8d23949bfed0c580c9be0c8304d8a88a53b227bb695870b558d67f33a47543de6c1529180f SHA512 457c691450afcf3ed4e2fffc28deaef0949ef4bbf6fd69b504acc6507fbb144f2c6e427a25da2b6346b15b82e803c02d1b6962af698d16c1fcb9a3d56160ea30 DIST xsb-3.8.0-gentoo-patchset-5.tar.gz 7748 BLAKE2B 291beb7a2bf567708119eb200e06fd0d6ac976b5eaea9646d9b5fe9fe67908e01f48b1e55e36fc98f7fe75ee4b654422bc0f9c565e00ac75fe36cccd0439bc2b SHA512 cd3762545bb0b0c5532607741f5946658cacf062c21913c8261988a2162ab848d860ae5a0d11d7a4b8b36994f7fbc91c6e6b4fa607e8cc6ebed434dbf421dec1 -DIST xsb-4.0.0-gentoo-patchset-0.tar.gz 10227 BLAKE2B 6d64faad36af2a1d5e74c5ac32940158bd8e08ae04d0a28e818d4295e2e4e12f99a0eee24605767a586fc6273ff330eb2a140d6106d605e4beb864f01c518014 SHA512 8c125237473d9c21cfe261bfd5a78dbd68ecd1d2a8a828bac55cfc33a74ba72994a4727b568dc90febef13f637d0b1cfe583fa097bd5cf8e758a74e142374a00 +DIST xsb-4.0.0-gentoo-patchset-1.tar.gz 10284 BLAKE2B d31322bb3072e806a000bee137d1a6b89d6d555da9de1b24f4a319cbe6a6bf6bd097a1ec8b831fc50a5bb820c121ea197127248e2206719082ceead8d6b5ad24 SHA512 d904741d2deb49e613501affd1a02adf5a6449edba79e92efd8b18227c274f4bc9385932894b11abc7a714e56511d41d828871b4dd0a10f59ef53b9119ecba1b diff --git a/dev-lang/xsb/xsb-4.0.0.ebuild b/dev-lang/xsb/xsb-4.0.0.ebuild index 7449fc08ff15..ade1cadd4b35 100644 --- a/dev-lang/xsb/xsb-4.0.0.ebuild +++ b/dev-lang/xsb/xsb-4.0.0.ebuild @@ -3,7 +3,7 @@ EAPI=7 -PATCHSET_VER="0" +PATCHSET_VER="1" inherit autotools java-pkg-opt-2 |