diff options
| author |   Jack Todaro <solpeth@posteo.org> | 2020-12-17 16:37:41 +1100 |
|---|---|---|
| committer |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-12-17 07:29:33 +0000 |
| commit | e5aacecc6e64f671a3c4f984a5debd488bd6663b (patch) | |
| tree | dd6427831f0da7f35c5c3d2f44cca592df447cc1 /sci-mathematics/agda/Manifest | |
| parent | sci-mathematics/agda-stdlib: bump up to 2.6.1.2.1.4 (diff) | |
| download | gentoo-e5aacecc6e64f671a3c4f984a5debd488bd6663b.tar.gz gentoo-e5aacecc6e64f671a3c4f984a5debd488bd6663b.tar.bz2 gentoo-e5aacecc6e64f671a3c4f984a5debd488bd6663b.zip | |
sci-mathematics/agda: drop old
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Jack Todaro <solpeth@posteo.org>
Signed-off-by: Sergei Trofimovich <slyfox@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 index 0514a033175f..a7b61c39d283 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,2 +1 @@ -DIST Agda-2.5.2.tar.gz 1240885 BLAKE2B bccdaa0c40b8e116f44ee436171cec0a8e1366d7b1f0b469bf459eacf4256e29a00c60a371dcf7971c499e948ce6264861016bb51fcad3251f62cb3e7370c19c SHA512 39ec73316eb7409f7f2618e86a9a3a2c420c93470bf46a1c37a4c4753c6c831d2d6da9ba007086ddee9defd481a695bf142a0a7d360dfa01bdb1fb92467af164 DIST Agda-2.6.1.2.tar.gz 2722270 BLAKE2B cf8d4bff2c189d87696c3f03f1b32777e8bd060102f108e0b96aca87e6b3b1cc84077a1e0fe3f9ef42293f683aa855eb60ade8b0863b3f78c96b4ebb63e456a5 SHA512 5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615 |