diff options
| author |   Luis Medinas <metalgod@gentoo.org> | 2006-07-31 17:54:01 +0000 |
|---|---|---|
| committer | Luis Medinas <metalgod@gentoo.org> | 2006-07-31 17:54:01 +0000 |
| commit | 5dc5e5a5eeb0247501be5ecc1cc999fcd77fffbb (patch) | |
| tree | 7eab59616941af85ee608ff2f744cf0ba69d6793 /sci-mathematics/nusmv | |
| parent | move to sci-mathematics herd. (diff) | |
| download | gentoo-2-5dc5e5a5eeb0247501be5ecc1cc999fcd77fffbb.tar.gz gentoo-2-5dc5e5a5eeb0247501be5ecc1cc999fcd77fffbb.tar.bz2 gentoo-2-5dc5e5a5eeb0247501be5ecc1cc999fcd77fffbb.zip | |
move to sci-mathematics herd.
(Portage version: 2.1.1_pre4)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/nusmv')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 34 |
1 files changed, 25 insertions, 9 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index 360b3a8c720d..d988de3e140f 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -1,15 +1,31 @@ -MD5 0cb95ef536ee0aa7dfdf87b9997c8498 ChangeLog 512 -RMD160 958c5a93b19a39ca692bb627ba8550f2060d114d ChangeLog 512 -SHA256 4fb7ad88e57724b1d705e44297c4384e561f47501497793b71d83eae954eba2b ChangeLog 512 +-----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 -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 -MD5 f9b985eff5cf629c334273be8fbdee5c metadata.xml 219 -RMD160 2c399ebc308a23e3792cc20101a26abfb3aed12c metadata.xml 219 -SHA256 7c0bb7961c49e6b1072283b927bb902eced652127d6a6d71bf7021369cc62a56 metadata.xml 219 +DIST MiniSat_v1.14_src.zip 29428 RMD160 d5f0dc611a6116128d9a404f9045e02b185958b4 SHA256 8e5e0ee84a770dcb3abd6fc65ed4aef938f9ffabca5ddc8a739029f7fb58a8f5 +DIST NuSMV-2.3.1.tar.gz 2590944 RMD160 74f00e1c29dabe98e04cf0d652b92d63a73b07dc 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 512 RMD160 958c5a93b19a39ca692bb627ba8550f2060d114d SHA1 8599e8c0065bdc1c4f1e528ea74f2f22bd9e30ad SHA256 4fb7ad88e57724b1d705e44297c4384e561f47501497793b71d83eae954eba2b +MD5 0cb95ef536ee0aa7dfdf87b9997c8498 ChangeLog 512 +RMD160 958c5a93b19a39ca692bb627ba8550f2060d114d ChangeLog 512 +SHA256 4fb7ad88e57724b1d705e44297c4384e561f47501497793b71d83eae954eba2b ChangeLog 512 +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 v1.4.4 (GNU/Linux) + +iD8DBQFEzkO0wUpWvClEHQoRAijtAJ4oe/QrdH4usGD8MsLPsgMU6i8uRQCfcImV +1LRFMCG1xtETdBcwqktDA/4= +=wGIS +-----END PGP SIGNATURE----- |