5add9c1ebf
According to http://pvs.csl.sri.com/announcements/pvs3.2-release-notes.shtml this contains a number of bug fixes as well as the following improvements and added features: -Startup Script Update -Theory Interpretation Enhancements -References to Mapped Entities -Cleaning up Specifications -Binary Files -Generating HTML -Default Strategies -Better handling of TCCs in Proofs -typepred! rule and all-typepreds strategy -grind-with-ext and reduce-with-ext -New forward chain commands -TeX Substitutions -add-declaration and IMPORTINGs -Prelude additions
13 lines
731 B
Text
13 lines
731 B
Text
$NetBSD: distinfo,v 1.6 2005/09/02 02:27:11 jschauma Exp $
|
|
|
|
SHA1 (pvs-3.2-linux.tgz) = 10b2db78aebfe0a66da514ebdc0180f57c686979
|
|
RMD160 (pvs-3.2-linux.tgz) = d340cd68341ff845e00a1d940a4d315615eaf99a
|
|
Size (pvs-3.2-linux.tgz) = 12350949 bytes
|
|
SHA1 (pvs-3.2-system.tgz) = be9a57267ddc3ad241b1e26c55f2a60cff16d787
|
|
RMD160 (pvs-3.2-system.tgz) = e69c8e0448e5973832912cf7f9a7cdf35612d705
|
|
Size (pvs-3.2-system.tgz) = 1463623 bytes
|
|
SHA1 (pvs-3.2-libraries.tgz) = 72fce592786a9d686e44aecd3c5355118aa15e02
|
|
RMD160 (pvs-3.2-libraries.tgz) = 2087d70ebce0b4538f046ae0125b5c9db58f4d77
|
|
Size (pvs-3.2-libraries.tgz) = 3719266 bytes
|
|
SHA1 (patch-aa) = 10c4eaffbf6f0b571b2077958187e2abfae487f6
|
|
SHA1 (patch-ab) = 2e626ed30fca3dffb708634b7b2a98c7359184ed
|