diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2022-08-21 23:11:38 +0200 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2022-08-21 23:31:03 +0200 |
| commit | 4ad718c553beda2d475d2c0affc5814a914ce184 (patch) | |
| tree | d784b6fed73050c2d0817ed69f59f56a0761e943 /sci-mathematics/agda/Manifest | |
| parent | sci-mathematics/agda-stdlib: treeclean (diff) | |
| download | gentoo-4ad718c553beda2d475d2c0affc5814a914ce184.tar.gz gentoo-4ad718c553beda2d475d2c0affc5814a914ce184.tar.bz2 gentoo-4ad718c553beda2d475d2c0affc5814a914ce184.zip | |
sci-mathematics/agda: treeclean
Closes: https://bugs.gentoo.org/540230
Closes: https://bugs.gentoo.org/634944
Closes: https://bugs.gentoo.org/279085
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda/Manifest')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest deleted file mode 100644 index a7b61c39d283..000000000000 --- a/sci-mathematics/agda/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST Agda-2.6.1.2.tar.gz 2722270 BLAKE2B cf8d4bff2c189d87696c3f03f1b32777e8bd060102f108e0b96aca87e6b3b1cc84077a1e0fe3f9ef42293f683aa855eb60ade8b0863b3f78c96b4ebb63e456a5 SHA512 5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615 |