diff options
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 25 | ||||
| -rw-r--r-- | sci-mathematics/nusmv/files/digest-nusmv-2.3.1 | 6 |
2 files changed, 0 insertions, 31 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index 8da55d47fee2..b6133a132c5d 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -1,31 +1,6 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - AUX MiniSat_v1.14-optimizedlib.patch 1112 RMD160 9ae63aef1b74fac1bad9ee62049460856b5c5982 SHA1 7a2ee88eef0591690a2a728c07b68fdd882addda SHA256 21016b1ce69553c058385afa93f13248dbdc398c7968609d86dd9b707e227bfb -MD5 9441db17d4c6c257ed274b6b10edf222 files/MiniSat_v1.14-optimizedlib.patch 1112 -RMD160 9ae63aef1b74fac1bad9ee62049460856b5c5982 files/MiniSat_v1.14-optimizedlib.patch 1112 -SHA256 21016b1ce69553c058385afa93f13248dbdc398c7968609d86dd9b707e227bfb files/MiniSat_v1.14-optimizedlib.patch 1112 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 -MD5 49788403b85431a3c1025198219c1191 nusmv-2.3.1.ebuild 3226 -RMD160 0ca1e64dcca0b6d6144093f70c5422230e39051a nusmv-2.3.1.ebuild 3226 -SHA256 9c4224c7c32b83a6fe522c9cc1cf0c15fa12762fa720e7ff160950ea075ed0f7 nusmv-2.3.1.ebuild 3226 MISC ChangeLog 596 RMD160 cefe97113619b28c2e752f936bc5e6151d1897c9 SHA1 070e7d0b8036eb940701f186ad3541577fa6efc2 SHA256 9dc7ae8fc85d4dbf0ef944c533a2e023dc6423c7288853330955bc6feadbccc1 -MD5 1f0e28b665d692149da64dd215d3ff3e ChangeLog 596 -RMD160 cefe97113619b28c2e752f936bc5e6151d1897c9 ChangeLog 596 -SHA256 9dc7ae8fc85d4dbf0ef944c533a2e023dc6423c7288853330955bc6feadbccc1 ChangeLog 596 MISC metadata.xml 231 RMD160 8f84973eaebda75204435889dbc7c24625066f2e SHA1 0f7b69677f55597d4ff59b31dabed5a543875ef0 SHA256 f84a829a9b8fcf07a58c2f5d493c7263c6d79a113de6c73766203a3aba0324df -MD5 4cf0481320594a6c3f7dd4a1aef57f4e metadata.xml 231 -RMD160 8f84973eaebda75204435889dbc7c24625066f2e metadata.xml 231 -SHA256 f84a829a9b8fcf07a58c2f5d493c7263c6d79a113de6c73766203a3aba0324df metadata.xml 231 -MD5 7cb5f70df589851ea7a81ed62e427025 files/digest-nusmv-2.3.1 479 -RMD160 bcca102605a01f2b30ea109fcdc165b9d037c2be files/digest-nusmv-2.3.1 479 -SHA256 c4a06e889a10c3456191f4f39909e57e1d809a20c2c627989b8e8eda9dc1aada files/digest-nusmv-2.3.1 479 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.1 (GNU/Linux) - -iD8DBQFF3PGpz974XjDVpbkRAnGKAJ4vcLD3VDlSrhkrYhAw9DnwULB6WACfYtam -Sk5sybz16nAMaWVtsV1zBh0= -=5IN5 ------END PGP SIGNATURE----- diff --git a/sci-mathematics/nusmv/files/digest-nusmv-2.3.1 b/sci-mathematics/nusmv/files/digest-nusmv-2.3.1 deleted file mode 100644 index b43a13a20b00..000000000000 --- a/sci-mathematics/nusmv/files/digest-nusmv-2.3.1 +++ /dev/null @@ -1,6 +0,0 @@ -MD5 f7f7199c9cdfa5e4730fbee33b23dc46 MiniSat_v1.14_src.zip 29428 -RMD160 d5f0dc611a6116128d9a404f9045e02b185958b4 MiniSat_v1.14_src.zip 29428 -SHA256 8e5e0ee84a770dcb3abd6fc65ed4aef938f9ffabca5ddc8a739029f7fb58a8f5 MiniSat_v1.14_src.zip 29428 -MD5 8d92612574c9ce02917e8509916d098f NuSMV-2.3.1.tar.gz 2590944 -RMD160 74f00e1c29dabe98e04cf0d652b92d63a73b07dc NuSMV-2.3.1.tar.gz 2590944 -SHA256 b8ba0f29afafdfdef8c30f722eead3ef6cbb17e4bfe5563240a01d8a99dbbf68 NuSMV-2.3.1.tar.gz 2590944 |