summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2021-09-16 22:05:01 +0100
committerV3n3RiX <venerix@redcorelinux.org>2021-09-16 22:05:01 +0100
commitcc4618c9ba3d974948ebf340b542d8cb01db2f55 (patch)
tree125ee67bb9e0d548771cf7b61d04bb1f0dc57687 /sci-mathematics/prover9
parent677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff)
gentoo resync : 16.09.2021
Diffstat (limited to 'sci-mathematics/prover9')
-rw-r--r--sci-mathematics/prover9/Manifest2
-rw-r--r--sci-mathematics/prover9/metadata.xml2
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest
index 09c0ecf1a160..c13ccabb5ddf 100644
--- a/sci-mathematics/prover9/Manifest
+++ b/sci-mathematics/prover9/Manifest
@@ -2,4 +2,4 @@ AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc0
DIST LADR-2009-11A-makefile.patch.xz 4300 BLAKE2B 3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41 SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1
DIST LADR-2009-11A.tar.gz 1795750 BLAKE2B ed44b1d0f5f5f3c9846ff578af10914421c79f580db9f9002f105b87d7af49fb6f2956b70d2ebfbd17b3a230d1065aadb1cc798ef7ebdad8749e66cea41120b6 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7
EBUILD prover9-2009.11a.ebuild 2514 BLAKE2B 52b53007c8428c449b19c00324ddd3f84c9001bb9af2d453ea7b537348a5f6b48feb5a4ac6c000bd1a9e5b37317df4e6e0a58faa81332d440c36b48079ef4be9 SHA512 21d4294cb6ea5cbd1951751976e5872256e9e7de82e2b46f896efcbe5d5c7bc83321baaafbbefea59feabe77c2673b1a1cfed1daf0b806a498bc7ea90aa9aa9e
-MISC metadata.xml 643 BLAKE2B cdef536d25ca7d2ba991037e4423c21bde719ae18976367e5e8d232d3f4d83f46b10c135f5f0f6986ba8d1756eee5cc85e78dfc4a4b81204945a7268a6ed899a SHA512 c3160f8aadceb5f065af9c5f14e9fe904b270bba1cf7781d33c39dca4f2641d61123839b93c4d7ad38139e8fc4c221016fe444cbfd7ddc99ea224090fccd7078
+MISC metadata.xml 644 BLAKE2B dad9c98888428bd2fcef0913b0d605c58879a88ca9f759e5e45612b70c899c06f8893bfaa121f89e48a6b9c05df8e8c9e60ba29a18765b23a3785b1fe9934dee SHA512 4920edabda59336adfbff1fc15b5a13cdaa40e2daf0351d9012c541732178045101e6f1045a47c0411f806dedadf13816cfc5b207798c6790f446dc19ad5b902
diff --git a/sci-mathematics/prover9/metadata.xml b/sci-mathematics/prover9/metadata.xml
index 7ff123879bf7..b0d52b607fd4 100644
--- a/sci-mathematics/prover9/metadata.xml
+++ b/sci-mathematics/prover9/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="person">
<email>gienah@gentoo.org</email>