summaryrefslogtreecommitdiff
path: root/sci-mathematics/picosat
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/picosat')
-rw-r--r--sci-mathematics/picosat/Manifest2
-rw-r--r--sci-mathematics/picosat/picosat-965.ebuild (renamed from sci-mathematics/picosat/picosat-965-r1.ebuild)3
2 files changed, 2 insertions, 3 deletions
diff --git a/sci-mathematics/picosat/Manifest b/sci-mathematics/picosat/Manifest
index cbf04723294e..d2426840a5b1 100644
--- a/sci-mathematics/picosat/Manifest
+++ b/sci-mathematics/picosat/Manifest
@@ -1,4 +1,4 @@
AUX picosat-965-makefile.in.patch 364 BLAKE2B fd6d9ade8e918dd8c9a16ced81a8f47a6ba2b64c7b262a385b0637092beaac4adcc0886506b49c5b21131a550f332b170bc4cc456696d99b7404aa8c11d37018 SHA512 950bddde2363c5b0e36c2333201fbfee54229674f9051f3c4f45023f4364a3bdca3cdaf6b083eed7c9a59c4de0ab92c0eb748092c6cba4c9dba5da6146d6b90f
DIST picosat-965.tar.gz 64386 BLAKE2B 913b08a72c0b15065353c2ee1ff8fe5a9c0f7a2a8653d80f4cdcee8fdcf69eed7621e28f4259a9d0fb506fefb8eccfd293f06aa7c1b3ea3f6cc31eb319a30532 SHA512 b5372962a0079d70641fd76c431b4ab5042c2f3015179762e447634f220cf0744eea786ee40b00035a342f3ead482061ebe1a9e3726bd06e7adf8e0ac0c5eabf
-EBUILD picosat-965-r1.ebuild 778 BLAKE2B 1bbc097e9d473e4f7924ecf9a867481c6d3b845e8386e6d5bebbf2c761b7d985f077ac12e6b5b0b50e761daa6be9be1c1d8ede80e9d16ecf795e333e1988cd49 SHA512 9d446c871c701798b8b5cff7261bd817103775968fe885293112d782e135b94f2cbaa4e41307bc0379916d52a1618ad6303daadd47c6a7c6c6e2ab16657bdba1
+EBUILD picosat-965.ebuild 756 BLAKE2B e9f78bc57ecb6098b4adf42604c953d7ceff70d50c5cb6c2050efc6c7bed971f831c48a037b79411d501b9d6c63b6f12020b63ae0968b7cc219261b128bf9d47 SHA512 a567120a954bd949c3550bf765187624b6403befef00f5d1b4fa98a45b1f51f7159d2c8d1e366d38898651cec0600e5759e43988a5365eb70b4363bb87336199
MISC metadata.xml 277 BLAKE2B 3d5dbdb3275e5d5623299c686ddb7ce896215621e87d688814bc03d383eeec180594639627ed7b8ac903fba49120507407c9e53813401c797c67a2da8330ef02 SHA512 f7b11642db7488b1cc11d3a5602fc18985a0e050502a332ed6850e123c51d3cad21790c09e032454c7590b61d4718cd91bde453c1ec00baaedea90ee9f57882c
diff --git a/sci-mathematics/picosat/picosat-965-r1.ebuild b/sci-mathematics/picosat/picosat-965.ebuild
index 30e893f62288..9803703a619b 100644
--- a/sci-mathematics/picosat/picosat-965-r1.ebuild
+++ b/sci-mathematics/picosat/picosat-965.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -31,7 +31,6 @@ src_install() {
insinto /usr/share
newins VERSION picosat.version
- dolib.a libpicosat.a
dolib.so libpicosat.so
doheader picosat.h