diff options
Diffstat (limited to 'sci-mathematics/acl2/Manifest')
| -rw-r--r-- | sci-mathematics/acl2/Manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/acl2/Manifest b/sci-mathematics/acl2/Manifest index abf3d42ae..1444f00a9 100644 --- a/sci-mathematics/acl2/Manifest +++ b/sci-mathematics/acl2/Manifest @@ -1 +1 @@ -DIST acl2-7.0.tar.gz 58301172 SHA256 dbbe63ddbe342072fa0504e05f9e02fb01bb654b6befcc1e34ba7ceab2b1e0eb SHA512 25746df91de3b418d0be8f5b6aa906b5456eb95e46745362f4c8697cd5dc57ad44fa25151ebffa6ad3efc28efd9ecdb830dedc136c79082d3fbc71e9393fa2cc WHIRLPOOL 1b7232d0c7c9c68bd3ee8bfc9d2a6547e533dfac5681313e513f7f72bc4aff6a727f36b1704020c21f2d44a8bf36baac91ac411633ff67cf7a3f46071e671fa8 +DIST acl2-7.1.tar.gz 63345284 SHA256 1a8503095a4e1deb6a6b0f3bc51823ba65cad38466def8d6845f193d73338f9d SHA512 5875b88615930fc841cd1d7ed30ada7c04b241a391eeee22184b4e3630e57cc6304a51e445e33ca1284576c2b4110c269f9eb59c47bd2eb47659134450151e27 WHIRLPOOL 632012e3d8998c67f70cd19b8fa7c7ff8000dbdba2d87dfdd56d5b4b39ebb390503d243e051c308c8a5aea0097bb48fa4e5c510b24478886a4a8bfca2c8d0645 |