diff options
Diffstat (limited to 'sci-mathematics/vampire')
-rw-r--r-- | sci-mathematics/vampire/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/vampire/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index 281766a081c1..a15cc4e1c5b1 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1,3 +1,3 @@ DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1 EBUILD vampire-4.6.1.ebuild 1172 BLAKE2B 7dd2f6e829b0b0d827898f9e8fad4bb7b0419200a5a464d4cfd1494e930d4d89c99e1cfc331e2ef71d20fc7525483cd72d390466b8c6e611c5713b66fcdd5e15 SHA512 628f41b3193f6892e3e012aca9d337975e45320e7cd9921c95263ede37518fab08bf9a83c537cd7571247a1a1135af569c4be41158f488c041c629d9416e637f -MISC metadata.xml 1019 BLAKE2B 0fe27792f7eb8e3cff02308012a69bbed5229dfbff94822896455464e0497d1c08327644acea04b0e84ab382679668754f4744af6b1906113f804b56cc38a90a SHA512 6e1fa1801cb7571421d9445d4ec514388973428345d2d4b7e371f7f2380a966a6d80ffbca38d8057145ee223288e7186c2b1dc3f5de0b1f54c53443ae97e0744 +MISC metadata.xml 1020 BLAKE2B 6e798243e207d09fac240c73cda8918b300706a19d53918b3ce78e847146ad3676a39d9be8e020b678c20d7fe02da0eab57519ea2c5841eeeea0b8a680045928 SHA512 dc82a586070c97db278ef17a24384436548b2a968d18ead7d148f654bab4ad846e685ac2ae2f7db8048b25115b673bcf8223fa2813b370f9d6b6ac01dcf9040e diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml index b290952a34d5..b88b3fad8295 100644 --- a/sci-mathematics/vampire/metadata.xml +++ b/sci-mathematics/vampire/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"> |