diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:21 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2006-04-02 11:40:21 +0000 |
| commit | a830249d4e353be9016be7ac24907882ed6824f9 (patch) | |
| tree | f37dfad260ca0b40000dfead7557cff97a1563f3 /sci-mathematics/nusmv/Manifest | |
| parent | Typo fix, bug #116929 (diff) | |
| download | gentoo-2-a830249d4e353be9016be7ac24907882ed6824f9.tar.gz gentoo-2-a830249d4e353be9016be7ac24907882ed6824f9.tar.bz2 gentoo-2-a830249d4e353be9016be7ac24907882ed6824f9.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)
Diffstat (limited to 'sci-mathematics/nusmv/Manifest')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest new file mode 100644 index 000000000000..9f2a9685fbec --- /dev/null +++ b/sci-mathematics/nusmv/Manifest @@ -0,0 +1,12 @@ +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 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 |