diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-09-16 22:05:01 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-09-16 22:05:01 +0100 |
| commit | cc4618c9ba3d974948ebf340b542d8cb01db2f55 (patch) | |
| tree | 125ee67bb9e0d548771cf7b61d04bb1f0dc57687 /sci-mathematics/minisat | |
| parent | 677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff) | |
gentoo resync : 16.09.2021
Diffstat (limited to 'sci-mathematics/minisat')
| -rw-r--r-- | sci-mathematics/minisat/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/minisat/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index 5308ae7fc652..3fd0016a7395 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -2,4 +2,4 @@ AUX minisat-2.2.0_p20130925-nusmv.patch 17540 BLAKE2B 4dee908cb3b7f466ea2fa90866 DIST MiniSat.pdf 327416 BLAKE2B 77f77d763c9554680b4c5e1688801e8462102e8ddbcc3b53badccee17a98f935ef0e971a636abeb04021a2b3a3e9d6acfe4828b5dd20e6ef8733d71788cc31b0 SHA512 94e70c721740c0b7fd52621c7a5e43dd9207eed92e60a1c64ee63b541b9861d2580d14ba64c49c6c4f273ac028ded43bc944c71131e51693cdd7d1763af582f6 DIST minisat-2.2.0_p20130925.tar.gz 49544 BLAKE2B 8c6893fb6c604140609c36cc912c02a73c1f2726d7f399595c50d674aff69c57f9c4914da6d95c37a46fefc218dd4b0550645bd7058d46640d08103e2a4ec333 SHA512 37fc35cc4f3104d7f0e8ee9f7123fc34e175df578658266799d809d71d6cf081e811919f304a02f6cb9c3827d308e59408149d63d1d1e7c6d0b495350f93b3d9 EBUILD minisat-2.2.0_p20130925-r1.ebuild 1612 BLAKE2B 4198df59696fa88b779ab8ea9954a1f53db39b8e9dfaf1c80897f5a772d9436731579ec2adf59d292bb0d9aa6baab446057333188838ed2a6548efd6ef5990fa SHA512 2bcbf4aeadb12e0998bdc97065c527dbeb29b155e352feaf4b871b89028a1784025c71e8e2f9ee27a135056feeb4fd557967c5d0e130b0b88ef7cfdc396aa438 -MISC metadata.xml 334 BLAKE2B 6c8e245cf94929f31acefff32066440d934671086ef08654895633847c2a9fd9621b0a3d50e1bf8e492e56759c52a6f562436ccfde4f9eb5b5080670411b2355 SHA512 37b0bae5480c1fa58f5ceaa1cc7576899514923efa9fd7838faa9c4160a10cd19b640530313bc8d96936581c7842e27432e87ace63f4ae64d86d067f9a9e7dcc +MISC metadata.xml 335 BLAKE2B 7382ddc302755dea35b7c2849fadb592ea045afaac96ed3b11bcc5e646e8febb13c64fac989fefe1c06d2d6e3a05c310cd9765c9c2a7a05357f639c230ddd258 SHA512 69f605d87fee498c7418e692393dbbf7c5185f8a6823c850f25f717727588b0687c2e0e12755cafc666fb82b28ad04d97e1f131ff505feb54756962e882e929b diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml index 42c0e14a3f43..970536799081 100644 --- a/sci-mathematics/minisat/metadata.xml +++ b/sci-mathematics/minisat/metadata.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer type="project"> <email>sci@gentoo.org</email> |