diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2013-12-28 18:37:51 +0000 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2013-12-28 18:37:51 +0000 |
| commit | b4cc8e80383a2f4b65ebfac9550cfc8916e5595b (patch) | |
| tree | 6102d830fdbdb190adb6b928a810c1f52fc76cc3 /sci-mathematics/nusmv | |
| parent | Put in a note that compileWriteUdg.o will take a long time to compile. (diff) | |
| download | gentoo-2-b4cc8e80383a2f4b65ebfac9550cfc8916e5595b.tar.gz gentoo-2-b4cc8e80383a2f4b65ebfac9550cfc8916e5595b.tar.bz2 gentoo-2-b4cc8e80383a2f4b65ebfac9550cfc8916e5595b.zip | |
Put in a note that compileWriteUdg.o will take a long time to compile.
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/nusmv')
| -rw-r--r-- | sci-mathematics/nusmv/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/nusmv/Manifest b/sci-mathematics/nusmv/Manifest index 21481cce25d1..03b753880f22 100644 --- a/sci-mathematics/nusmv/Manifest +++ b/sci-mathematics/nusmv/Manifest @@ -11,6 +11,6 @@ EBUILD nusmv-2.3.1.ebuild 3277 SHA256 a53093c76a79333d24073fe29ea694bb507814fcfd EBUILD nusmv-2.5.0.ebuild 3595 SHA256 bfd33cfc69db582eb3ad69c2243d55c511e37b44d9f5ddcf881f70c3d050478e SHA512 58109110b20e0703112c68d92cecbd8b9dc2fba06674f4d0b9c8178ccfc51727986d4e565159affa319c6f436ec80777f211edf27c2d8556f7459821b7e8b5c7 WHIRLPOOL 1b18397a9f909e772bdf60ef31daa41f901e1cc7205b4b4a080915db57d984da4b3635e11506be2106a939b4a469f03114b86ece50530de7ed3b6cbe37826160 EBUILD nusmv-2.5.2.ebuild 3513 SHA256 5cd7d7ba326d0bc93a2431ea7bd917f2e04b6fcd803e6a5745ceddca73580202 SHA512 11683caed4b7ffc86effa9606b15ef3493b6fa326001e3903967f38e057800f090735728831ec5354c9c60afed11b68e59f139a766eb5f12a48331bad028749b WHIRLPOOL d9ae53dcd023347d34e96134becf7eee8108be17055c895c3c530905a1460fb10e069fd1bb42f65e97f49225767623326b79f5340aae74b120afffa6e14a7494 EBUILD nusmv-2.5.3.ebuild 3516 SHA256 d7a2d13d9c47f6b822612d3c1808a9801499fa6ea0e449725f9f52c7f02b7cf8 SHA512 4f17ada7ade2294dd94ff435e5f8adf69d0d00a6b5e59f8797f2cdcf8811efe0c09e41b3af4f31a229551433c03e253f8f30ba0ab3cbd4c914767a85ccd33421 WHIRLPOOL 34ac5dbe0a984e1a4dad395282e924043a73816faa6cdaed445127d9b93dabd0e6858c84a3206544b5a4d3999f70bf9e0d400581d8507815b9d5eb519eaed03e -EBUILD nusmv-2.5.4.ebuild 3620 SHA256 b8cecd4c2534fd0ce72ee0238ac4edec814edc51d89fd7973c426433b605da65 SHA512 41d6b4d71a3b9b29b0e19c7e12a196ee4f1e6e3c4d0d5ce37222c6f1773fe8d6b2c3425e27bbebdd5b516f0ec748463e355c1995547d2f941832cfb7c094c8a4 WHIRLPOOL 5d833e6c0f307d6fc6ebfa6938151a92acf6ba8330099fa2c10bb3176cadc3c81d35fb6154cfd5ab769513a1e73221be07339c75d645f540fbbf1a8bc824ccb6 -MISC ChangeLog 2489 SHA256 0efd187dc568a1d9a2db196d60a3cd6c7fbc9926981111e60fd229d35e1390c4 SHA512 6805fad16bf831fcd5e3137c17c54e971204ec3274d849cfd34602344b69a3bce8f70f963ae45fc3d260c3a8e296760c7bbd51c9fe0c20c6ade481d69385ec8b WHIRLPOOL aa550a55af12c8bb7c3161bef7b63f88492f2d6a9d3ab667ca89004ecf82e351de9bf4af7a2bc3cfce236e7c94d59b603f3b18b75d89c51b199c469a7ce2038f +EBUILD nusmv-2.5.4.ebuild 3723 SHA256 ea6bb02d1cf08595dd9aae9b3b4ea5acb5b325f6c2ed8ba9fed443cfeac1333d SHA512 6e2313f7bfbf29c87e0c9870c133e7b545752ee041f20404129a47c2bf9a9e03e76c553ea2889c7a5ea4e614e138977d399d0137a6542a51239b2596940714fd WHIRLPOOL a637b864f57cf4f369efcda7ce7d967ee66f62a1ec0f4deab04d9c40c3438980863f65a77517da1c26ca24460443b96550a9b41cc7f7797e94eb6cfd7358fd9c +MISC ChangeLog 2636 SHA256 d27307b29b0d1e07681e1d8744d0aedd993d5f461eef00c6cb154619160f82f6 SHA512 72cc45faa4afe31dfa8f8bcc924f46149da5f4021e5915864eab8ed374710146c3473ce877269c44f89fda3d6415e40b0a62f1f89c4d80d5d6b25de944db5367 WHIRLPOOL ff7e18b94ede30fcda9363027b5b06e52ac87b9f0f2ca102cdc66feb12fbd467a7028263089b4e08018669d4f0f589a076234ccec96dcb5ac2f001171dee00fb MISC metadata.xml 306 SHA256 42ff8494b9c387e35eeefb8def1a70431c5952faf50b505b2e070a67b0ebce26 SHA512 90a79128909d43a8b937c69ffe85a09816081a8ac3274a68900b65b12d51ad46464ede82a45568bfe176760af1d9cc540ffcc0e33464b9056dbbb92edbb113e5 WHIRLPOOL b5255c46c0c749d9ecab1acaa7581bf100690b3e1bc361ec42f6327b30b2cc987a2f5d060323b171cdfea9d0248a440c8bb3b9af1e6a50e4c97d87ca22c3cc84 |