diff options
| author |   Markus Dittrich <markusle@gentoo.org> | 2008-05-18 17:10:30 +0000 |
|---|---|---|
| committer | Markus Dittrich <markusle@gentoo.org> | 2008-05-18 17:10:30 +0000 |
| commit | fbee8ec0d84252244b402e0fe4ad76d07631f5c4 (patch) | |
| tree | f60f2318c6b89d0396b77d6f0ba1b85e70e66d99 /sci-mathematics | |
| parent | Switched virtual/tetex -> virtual/latex-base (see bug #222501). (diff) | |
| download | gentoo-2-fbee8ec0d84252244b402e0fe4ad76d07631f5c4.tar.gz gentoo-2-fbee8ec0d84252244b402e0fe4ad76d07631f5c4.tar.bz2 gentoo-2-fbee8ec0d84252244b402e0fe4ad76d07631f5c4.zip | |
Switched virtual/tetex -> virtual/latex-base (see bug #222501).
(Portage version: 2.1.5_rc10)
(Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index b6133a132c5d..a25267c45e33 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -1,6 +1,6 @@ AUX MiniSat_v1.14-optimizedlib.patch 1112 RMD160 9ae63aef1b74fac1bad9ee62049460856b5c5982 SHA1 7a2ee88eef0591690a2a728c07b68fdd882addda SHA256 21016b1ce69553c058385afa93f13248dbdc398c7968609d86dd9b707e227bfb 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 -EBUILD nusmv-2.3.1.ebuild 3226 RMD160 0ca1e64dcca0b6d6144093f70c5422230e39051a SHA1 88eaa7559712b269d2910d744b24208fee63c087 SHA256 9c4224c7c32b83a6fe522c9cc1cf0c15fa12762fa720e7ff160950ea075ed0f7 -MISC ChangeLog 596 RMD160 cefe97113619b28c2e752f936bc5e6151d1897c9 SHA1 070e7d0b8036eb940701f186ad3541577fa6efc2 SHA256 9dc7ae8fc85d4dbf0ef944c533a2e023dc6423c7288853330955bc6feadbccc1 +EBUILD nusmv-2.3.1.ebuild 3334 RMD160 2d574066687dbeea21bdfb60f4ddb44ad1b2c904 SHA1 bc224f20802c0eccea8563a7c1534480217f4b90 SHA256 df4ebda1804abd2cde185fe1ecd062c5bbeef322ffb0859d8b91dda0b4186d74 +MISC ChangeLog 739 RMD160 60fbd4e6b3d25534d68756898fd7d999ed0bb68a SHA1 0393c6ffba0bb912ec11b12e59ae9c931b895c30 SHA256 59bf129e5e9c5c017bcad2b5bdbbe0d5c0e0cec90936186b1e85d6c54a53ecbd MISC metadata.xml 231 RMD160 8f84973eaebda75204435889dbc7c24625066f2e SHA1 0f7b69677f55597d4ff59b31dabed5a543875ef0 SHA256 f84a829a9b8fcf07a58c2f5d493c7263c6d79a113de6c73766203a3aba0324df |