diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:27 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:27 +0000 |
| commit | bc0ad4d278efe43c5c56d59d01cf1625487cd60a (patch) | |
| tree | e097623b0f36efeaa003be7667586a6b60db2b61 /sci-mathematics/nusmv | |
| parent | Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild ... (diff) | |
| download | gentoo-2-bc0ad4d278efe43c5c56d59d01cf1625487cd60a.tar.gz gentoo-2-bc0ad4d278efe43c5c56d59d01cf1625487cd60a.tar.bz2 gentoo-2-bc0ad4d278efe43c5c56d59d01cf1625487cd60a.zip | |
Initial commit. Ebuild by Robin H. Johnson <robbat2@gentoo.org>. This ebuild may need revisiting when GCC4.2 is closer to final.
(Portage version: 2.1_pre7-r3) (Unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/nusmv')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index 9f2a9685fbec..360b3a8c720d 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -1,12 +1,15 @@ -MD5 a5765b71c2ed4382fab990b31f097fde .nusmv-2.3.1.ebuild.swp 12288 -RMD160 61fd499b3e5221a7fbcc91e4681b02c678fd53af .nusmv-2.3.1.ebuild.swp 12288 -SHA256 6a57b097cb223629ab79169318894f13caf9307cd067ceed071697fdbb52cb9e .nusmv-2.3.1.ebuild.swp 12288 +MD5 0cb95ef536ee0aa7dfdf87b9997c8498 ChangeLog 512 +RMD160 958c5a93b19a39ca692bb627ba8550f2060d114d ChangeLog 512 +SHA256 4fb7ad88e57724b1d705e44297c4384e561f47501497793b71d83eae954eba2b ChangeLog 512 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 64db3396b7f03c5bc02247e201bcb641 nusmv-2.3.1.ebuild 3112 -RMD160 6a5768a92de42c0a6b693de645484d0f50417942 nusmv-2.3.1.ebuild 3112 -SHA256 7c27d43f3115f69b90adfb3cd4048388bbb6faef83c08464a0f7191565f62549 nusmv-2.3.1.ebuild 3112 +MD5 f9b985eff5cf629c334273be8fbdee5c metadata.xml 219 +RMD160 2c399ebc308a23e3792cc20101a26abfb3aed12c metadata.xml 219 +SHA256 7c0bb7961c49e6b1072283b927bb902eced652127d6a6d71bf7021369cc62a56 metadata.xml 219 +MD5 49788403b85431a3c1025198219c1191 nusmv-2.3.1.ebuild 3226 +RMD160 0ca1e64dcca0b6d6144093f70c5422230e39051a nusmv-2.3.1.ebuild 3226 +SHA256 9c4224c7c32b83a6fe522c9cc1cf0c15fa12762fa720e7ff160950ea075ed0f7 nusmv-2.3.1.ebuild 3226 |