diff options
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/digest-agda-1.0.2 | 3 | ||||
| -rw-r--r-- | sci-mathematics/agda/files/digest-agda-1.0.2-r1 | 3 |
2 files changed, 0 insertions, 6 deletions
diff --git a/sci-mathematics/agda/files/digest-agda-1.0.2 b/sci-mathematics/agda/files/digest-agda-1.0.2 deleted file mode 100644 index 6fe07da53bc6..000000000000 --- a/sci-mathematics/agda/files/digest-agda-1.0.2 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 68f669d2b98d12999aabeab6253f4c35 Agda-1.0.2.tar.gz 505642 -RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 Agda-1.0.2.tar.gz 505642 -SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1 Agda-1.0.2.tar.gz 505642 diff --git a/sci-mathematics/agda/files/digest-agda-1.0.2-r1 b/sci-mathematics/agda/files/digest-agda-1.0.2-r1 deleted file mode 100644 index 6fe07da53bc6..000000000000 --- a/sci-mathematics/agda/files/digest-agda-1.0.2-r1 +++ /dev/null @@ -1,3 +0,0 @@ -MD5 68f669d2b98d12999aabeab6253f4c35 Agda-1.0.2.tar.gz 505642 -RMD160 6686a0bd5920a83a3e08ef2894b8ddf1620f21c2 Agda-1.0.2.tar.gz 505642 -SHA256 2ab56783a26e84f64422316daf0ce160f983667357361e2986baa13fb17e7ea1 Agda-1.0.2.tar.gz 505642 |