diff options
| author |   Paweł Hajdan <phajdan.jr@gentoo.org> | 2011-01-01 17:50:01 +0000 |
|---|---|---|
| committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2011-01-01 17:50:01 +0000 |
| commit | d710d96978fdeda9efde377bc7a8f1feb739004d (patch) | |
| tree | 0c6b5bbf0f5811b46340d1511d65283c70659ca0 /sci-mathematics/nusmv | |
| parent | Version bump. (diff) | |
| download | gentoo-2-d710d96978fdeda9efde377bc7a8f1feb739004d.tar.gz gentoo-2-d710d96978fdeda9efde377bc7a8f1feb739004d.tar.bz2 gentoo-2-d710d96978fdeda9efde377bc7a8f1feb739004d.zip | |
Version bump.
(Portage version: 2.1.9.25/cvs/Linux i686, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/nusmv')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index 3535f9aa90ab..d0667b960e13 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -4,7 +4,9 @@ AUX cudd-no-pentium4.patch 543 RMD160 c8e515030b86b8e4015d9ced671f3e3a23198521 S DIST MiniSat_v1.14_src.zip 29428 RMD160 d5f0dc611a6116128d9a404f9045e02b185958b4 SHA1 266536cf5e5e77aa0478b98869bcd67ac1a523b6 SHA256 8e5e0ee84a770dcb3abd6fc65ed4aef938f9ffabca5ddc8a739029f7fb58a8f5 DIST NuSMV-2.3.1.tar.gz 2590944 RMD160 74f00e1c29dabe98e04cf0d652b92d63a73b07dc SHA1 588d3b43f136273176f4a6056b474f9d872b977b SHA256 b8ba0f29afafdfdef8c30f722eead3ef6cbb17e4bfe5563240a01d8a99dbbf68 DIST NuSMV-2.5.0.tar.gz 3792968 RMD160 aaa3b9dc1329ad3feca6c9511b144437caf83472 SHA1 4b2837b0511e9eaf0eee53395308e8eaba6be727 SHA256 59310f5f23f72cb1ad16419e40f245db7c5aa41c0f59ba5c75732bb6c4b56ff1 +DIST NuSMV-2.5.2.tar.gz 3631420 RMD160 1f2e9e3481f4aa51d9ff4ede8c665f36009be212 SHA1 3638b6f392fd0cecdb7ada4343364581b957e70a SHA256 bc41c53c266d41d7bcb92851fbdb07d894c246d1189bfe420301c7b4fca46de0 EBUILD nusmv-2.3.1.ebuild 3331 RMD160 09aa89279858b6a6ac1be71adaf54545d4dffc54 SHA1 36c394fa4bbc8053059bd19be61ae8679983eb53 SHA256 43f713b4e5f21318516348f732f4129670235317724ce595d1e635aa0fbd91cd EBUILD nusmv-2.5.0.ebuild 3651 RMD160 b86a7cd49948dd97ca011b04334b512ad6e433ad SHA1 5e9e78e4fb025558f77bb5c18c68b8c16ae465a7 SHA256 f11dc1614bc52ae6b707d2adbd485e6698082b82cf325eeabd86f9ded2ffae2d -MISC ChangeLog 1833 RMD160 e7614bbca6a08d2ccdcb2557519410478afd7eb6 SHA1 f16d318a76604b0c6767cc8b2bf28fa6e8e412bf SHA256 7ad45d973d724e4228e6c116cc8b6149456301db8eac123777941fd227496be0 +EBUILD nusmv-2.5.2.ebuild 3569 RMD160 65417a514d8f9227d46583c2e48ef9519292e766 SHA1 4eab221dc4a21039db1891df2aaee386f00a39c6 SHA256 5812fdceab35a5a47ab9adbaff44730478d38fd3809da06fa3956ebb80d44463 +MISC ChangeLog 1954 RMD160 561206bc4f806adaf04e75bb01e2e48b04a50c3f SHA1 8507e6301d2c4c28300235512c757b57486e00ca SHA256 867ac9f5728bc3fb05ac11dbd60f32e08a8f64ee737a33abbf7c76cd0453bd11 MISC metadata.xml 301 RMD160 95f4a72bad52574229901ce16d7d503b68cb22f9 SHA1 a62c653d31a41d1e11cea40d2d9366676d67d333 SHA256 b7f1f13dae0ffaaf9894bf5f5a95b351d63c630e9ccaab304b1edb8fa8f1c18c |