diff options
| author | jschauma <jschauma@pkgsrc.org> | 2005-09-02 02:27:11 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2005-09-02 02:27:11 +0000 |
| commit | 9fff90f70719a0b8771041d58b38bbcb44f6a868 (patch) | |
| tree | e3f81e698a5f6f4d5c19b492fbe054c05a8d34bf /devel/pvs/distinfo | |
| parent | b7ebc07ae6b7778b45b2c3874d5c58b358d10727 (diff) | |
| download | pkgsrc-9fff90f70719a0b8771041d58b38bbcb44f6a868.tar.gz | |
Update pvs to 3.2:
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
Diffstat (limited to 'devel/pvs/distinfo')
| -rw-r--r-- | devel/pvs/distinfo | 27 |
1 files changed, 12 insertions, 15 deletions
diff --git a/devel/pvs/distinfo b/devel/pvs/distinfo index 9ee1e0407dc..a1f85163a35 100644 --- a/devel/pvs/distinfo +++ b/devel/pvs/distinfo @@ -1,16 +1,13 @@ -$NetBSD: distinfo,v 1.5 2005/02/23 22:24:31 agc Exp $ +$NetBSD: distinfo,v 1.6 2005/09/02 02:27:11 jschauma Exp $ -SHA1 (pvs-3.1-linux.tgz) = 58a24515d06ab2a476efad593bd5b3768660797d -RMD160 (pvs-3.1-linux.tgz) = 7c180330b39c3713ea70faa235973f4b19363c85 -Size (pvs-3.1-linux.tgz) = 13398586 bytes -SHA1 (pvs-3.1-system.tgz) = 817736af58902c10e872e86981e767de93ae204d -RMD160 (pvs-3.1-system.tgz) = 8a4e7743adec5cc43b56226a226a8b00192b0616 -Size (pvs-3.1-system.tgz) = 1306332 bytes -SHA1 (pvs-3.1-emacs19.tgz) = fe936a5edbc3b3c5ce4d5131ca992ee275168d56 -RMD160 (pvs-3.1-emacs19.tgz) = 8aa83a0e1caeb62648fee2c78a2e25c601d0ec05 -Size (pvs-3.1-emacs19.tgz) = 360407 bytes -SHA1 (pvs-3.1-libraries.tgz) = c8e9b79347d335eb7c8bd9dc489cef2073472509 -RMD160 (pvs-3.1-libraries.tgz) = a28c09b5bd2b138f5064f672136e1eeffa94aae9 -Size (pvs-3.1-libraries.tgz) = 1457926 bytes -SHA1 (patch-aa) = 7199e499e1cd85da0c726b26416934fc222b3b46 -SHA1 (patch-ab) = b0f918f5fe054da223ea4c2698e1b9f58c5a684f +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 |