diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2008-01-31 12:37:05 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2008-01-31 12:37:05 +0000 |
| commit | 126f2b2b7a382e7bc32f9f4b4d91a4fa072ba6e5 (patch) | |
| tree | fa97f8d1be907f81d480d254fc34734d3910d752 /sci-mathematics/agda/files | |
| parent | Remove all old-style digests from the system and regen the Manifest files. (diff) | |
| download | historical-126f2b2b7a382e7bc32f9f4b4d91a4fa072ba6e5.tar.gz historical-126f2b2b7a382e7bc32f9f4b4d91a4fa072ba6e5.tar.bz2 historical-126f2b2b7a382e7bc32f9f4b4d91a4fa072ba6e5.zip | |
Remove all old-style digests from the system and regen the Manifest files.
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 |