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 | |
| parent | 677b7ba5c317778df2ad7e70df94b9b7eec4adbc (diff) | |
gentoo resync : 16.09.2021
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 07238b5db7fa..0eb8ee571d23 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,4 +1,4 @@ AUX 50agda2-gentoo.el 317 BLAKE2B c295509014fc7f254c5c0650b079d3827b182270c6e1aa3d1ddf4f4076d94115f0168d4ad0c96a876be57ead4db26219e594a9afed3aba2ce3cab30e8cf19060 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e DIST Agda-2.6.1.2.tar.gz 2722270 BLAKE2B cf8d4bff2c189d87696c3f03f1b32777e8bd060102f108e0b96aca87e6b3b1cc84077a1e0fe3f9ef42293f683aa855eb60ade8b0863b3f78c96b4ebb63e456a5 SHA512 5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615 EBUILD agda-2.6.1.2.ebuild 5118 BLAKE2B 4c45bdc04bda4f1ee36fa691ad89458312e58c04b318b5485635eb442dbae702040bb959589693a518c808aa404d6e75a9d8d31c9c17d4b0c0d610f12c6f4f77 SHA512 10111072552ed9bb046815f1e70181ad05a755f6a496d351b7de93ff9c206caef25cbe3e7241415767c523baebaa99cff6bbf8a177ac109a366a121049c06c8a -MISC metadata.xml 1739 BLAKE2B a11bf97211f5b3c9b6ea8de77d64d2ab1a032be7502eab0eef88fe171424ffec17b6488e2d31d8113bfc630d7d709f7b86ead8bedba492d9747e047914d10763 SHA512 6dd8a8e9b3c0191fe4fe6eee9c620a448e7ba78ea5fabadea2c31a57d140fecad1e049ec2dd73010241204ccbb8d29e5634ee2310eab5c9be0cb8e3ec6b70736 +MISC metadata.xml 1740 BLAKE2B bf985301a71c899ab82d1161cddb312f9141068b7d8cd021dec9b8ad961c8332acb2f203848ab5666a08a0a04549b49c6396abdfa45cbd598d70595ff1f1c684 SHA512 afb2feb40e48f56f4db0edf65a8931f5cd2c3aec5516cb70faac4caa26f1864ef6ee8931c6f26c11b14bd7f0cd9ffddfe6dda3793de36116b87dddd1defc71cb diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index ea5eaca193ca..3c7fcb2824b8 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/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>haskell@gentoo.org</email> |