diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2009-05-30 09:13:59 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2009-05-30 09:13:59 +0000 |
| commit | 7cd6f778c59f5f799b149d682c446ef992cd62a0 (patch) | |
| tree | d776bdc5be50f7177ad00600ea61dc547ccbc402 /sci-mathematics/nusmv | |
| parent | Remove app-text/tetex from dependencies, bug 227443. (diff) | |
| download | gentoo-2-7cd6f778c59f5f799b149d682c446ef992cd62a0.tar.gz gentoo-2-7cd6f778c59f5f799b149d682c446ef992cd62a0.tar.bz2 gentoo-2-7cd6f778c59f5f799b149d682c446ef992cd62a0.zip | |
Remove app-text/tetex from dependencies, bug 227443.
(Portage version: 2.2_rc33/cvs/Linux i686)
(Signed Manifest commit)
Diffstat (limited to 'sci-mathematics/nusmv')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index b370d8d09118..21fcc737dde4 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -4,13 +4,13 @@ Hash: SHA1 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 3334 RMD160 2d574066687dbeea21bdfb60f4ddb44ad1b2c904 SHA1 bc224f20802c0eccea8563a7c1534480217f4b90 SHA256 df4ebda1804abd2cde185fe1ecd062c5bbeef322ffb0859d8b91dda0b4186d74 -MISC ChangeLog 848 RMD160 9e381a33aad86740b6c842a8fc66d9a36a2ed71e SHA1 41f0730071f1def3e21527ed4481f7ba9ff8f264 SHA256 a8eeed9c52bf8f2d6989fd64ca8b3ce5479945dabd7b3d5033f37c7cc117f337 +EBUILD nusmv-2.3.1.ebuild 3311 RMD160 14cf3568c3e469e679368dd4b4618cb4afb24f72 SHA1 b5c3e9e43970fe2a544310c7c3b4a46e6e98fd84 SHA256 3acd3402b6803b0f26589fde2432ba4f1d52d49f71b4e57ca056a50d233789c0 +MISC ChangeLog 971 RMD160 1c9cd3a4261428c1bad5da123c4338b143d7a8c4 SHA1 788bfba13639845b97039e8efe7182bac62f8612 SHA256 015fbdba8499c77ecb77a6a6c4ad040cf93a0ee28b77d35cd2f99c1bcf44f075 MISC metadata.xml 301 RMD160 95f4a72bad52574229901ce16d7d503b68cb22f9 SHA1 a62c653d31a41d1e11cea40d2d9366676d67d333 SHA256 b7f1f13dae0ffaaf9894bf5f5a95b351d63c630e9ccaab304b1edb8fa8f1c18c -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) -iEUEARECAAYFAkiaDAsACgkQOeoy/oIi7uyF3wCYwZlu33Kh1yyodLxrDkXQwJjG -lgCeLZ5UIiu62siI9DLdY+bi7quVer0= -=MyZc +iEYEARECAAYFAkog+RUACgkQOeoy/oIi7uwN4QCfTVRH+d61po/a5qqYwRJxAE5+ +mrUAn1esdjDI+8/D0+vKoBo06NKmYb3s +=Y/6V -----END PGP SIGNATURE----- |