diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-11 05:43:34 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-11 05:43:34 +0000 |
| commit | ad391b961414c99124b93cb86695c04bd8d57937 (patch) | |
| tree | 446151aff1c09db21505a46da4107f9a5be588e0 /sci-mathematics/picosat | |
| parent | 113cc6fe7a9adc2baf67f9ef7723db6ed2b24887 (diff) | |
gentoo auto-resync : 11:01:2023 - 05:43:34
Diffstat (limited to 'sci-mathematics/picosat')
| -rw-r--r-- | sci-mathematics/picosat/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/picosat/picosat-965-r1.ebuild (renamed from sci-mathematics/picosat/picosat-965.ebuild) | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/sci-mathematics/picosat/Manifest b/sci-mathematics/picosat/Manifest index d2426840a5b1..cbf04723294e 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.ebuild 756 BLAKE2B e9f78bc57ecb6098b4adf42604c953d7ceff70d50c5cb6c2050efc6c7bed971f831c48a037b79411d501b9d6c63b6f12020b63ae0968b7cc219261b128bf9d47 SHA512 a567120a954bd949c3550bf765187624b6403befef00f5d1b4fa98a45b1f51f7159d2c8d1e366d38898651cec0600e5759e43988a5365eb70b4363bb87336199 +EBUILD picosat-965-r1.ebuild 778 BLAKE2B 1bbc097e9d473e4f7924ecf9a867481c6d3b845e8386e6d5bebbf2c761b7d985f077ac12e6b5b0b50e761daa6be9be1c1d8ede80e9d16ecf795e333e1988cd49 SHA512 9d446c871c701798b8b5cff7261bd817103775968fe885293112d782e135b94f2cbaa4e41307bc0379916d52a1618ad6303daadd47c6a7c6c6e2ab16657bdba1 MISC metadata.xml 277 BLAKE2B 3d5dbdb3275e5d5623299c686ddb7ce896215621e87d688814bc03d383eeec180594639627ed7b8ac903fba49120507407c9e53813401c797c67a2da8330ef02 SHA512 f7b11642db7488b1cc11d3a5602fc18985a0e050502a332ed6850e123c51d3cad21790c09e032454c7590b61d4718cd91bde453c1ec00baaedea90ee9f57882c diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965-r1.ebuild index 9803703a619b..30e893f62288 100644 --- a/sci-mathematics/picosat/picosat-965.ebuild +++ b/sci-mathematics/picosat/picosat-965-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -31,6 +31,7 @@ src_install() { insinto /usr/share newins VERSION picosat.version + dolib.a libpicosat.a dolib.so libpicosat.so doheader picosat.h |