diff options
Diffstat (limited to 'sci-mathematics/agda/files/digest-agda-1.0.2')
| -rw-r--r-- | sci-mathematics/agda/files/digest-agda-1.0.2 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/agda/files/digest-agda-1.0.2 b/sci-mathematics/agda/files/digest-agda-1.0.2 new file mode 100644 index 000000000000..6fe07da53bc6 --- /dev/null +++ b/sci-mathematics/agda/files/digest-agda-1.0.2 @@ -0,0 +1,3 @@ +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 |