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/agda-stdlib | |
| parent | 677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff) | |
gentoo resync : 16.09.2021
Diffstat (limited to 'sci-mathematics/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda-stdlib/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index e66b2c2f43f5..9830df0c822e 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,4 +1,4 @@ AUX standard-library.agda-lib 55 BLAKE2B 057e933b07b291fd505f2e64f43b087c2aa4f4828ba2a03b5a53b9cac0f0fd0ab1f523c91efd6090e34e376dcc61d90bc5193063b6f07280c0eb2d688a07dedc SHA512 b1e2cbffe4b99157661fe6f4685580c7524890735db0a20ae1942e076b00d0df13624f587ea7584319e5665484da63beb3e0e5c77226bdbe02a4a80fa33a17b4 DIST agda-stdlib-2.6.1.2.1.4.tar.gz 816654 BLAKE2B c8e6b6f86f32dd2e3d57da4a21066be4a441e71bc3a7cb96d8000f28c56cbb114a00e5df2777b00a8a9fc1a0f94b00bdf4b72eb46f0245ab482a41b6a9d772ee SHA512 90c05d54eaf1d7c78d00f73044afa1f3b4d99df622d40b3cea88fe280f0770ccaeddd787d8fb384c150123f592bb6a7ec24b842a9fcc2936f581d847928223ca EBUILD agda-stdlib-2.6.1.2.1.4.ebuild 2129 BLAKE2B 11076c1eb8fc55fb03ce65f8d2016da39eeaed2bfc0ed02a9aeec3266a000cee1a9be5a503af8df108f8ac36b1416ba9d6897e187554a5ef74d194171003f462 SHA512 8e63daeed5284581872533700ca043fd627fa39ec81962f92fa82083b907745d05c0049458af194cc0e5d838eddff6b3ab9c2b8aab4a9ac1be507ee23ab461e1 -MISC metadata.xml 470 BLAKE2B 52d4855254478477d97adcee7dcb01a4683af84456ad3f1affc646821cddc1b6d761d879c5b9576ce02c4d768db5c0685466fe69f294a4380dce69e4626704f0 SHA512 220f1b52f17bd50cc8bc435fb3bfb8db5097c9bd000a552f620c69312633fe8380a315e9ad220f7d8018a1f7d9d866e332aed0cc84172340c1f3764c4ae1990b +MISC metadata.xml 471 BLAKE2B 308482ab94f16db0a4ef47ca204527f83bd1a3471d8d8152ab8f600cd6350fcdba8f1710e5daebac469392662843a9feea4cae66f1b8a79acbc9ed3234534e8c SHA512 853bc8aabc44e6dad3a607e6f2ab9ad20e278e7a6a309ad106ee807c3eb608066c11e42137442fd2f622881187801bff46f581e0383168a1483dc20923e74b59 diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml index 37374b54118e..49686165f8d9 100644 --- a/sci-mathematics/agda-stdlib/metadata.xml +++ b/sci-mathematics/agda-stdlib/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-mathematics@gentoo.org</email> |