diff options
Diffstat (limited to 'sci-mathematics/why3/Manifest')
| -rw-r--r-- | sci-mathematics/why3/Manifest | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest index 4aa902a74..4006e9a1f 100644 --- a/sci-mathematics/why3/Manifest +++ b/sci-mathematics/why3/Manifest @@ -1 +1,4 @@ DIST why3-0.83.tar.gz 5347628 SHA256 cabf67e939e3422e491ef596f1a09ceaf1615642904182097cebde90e42e9ac9 SHA512 e1c4d462986835aa0e9a1ca117e4c3bbaf307b45b6de03da6ea8dd706770b8d9894031ea22ec732dfa7340d613b023ab499837203a132db5f138e51596e64177 WHIRLPOOL 4e1a6fb8462144ec5726f461a6548b5fdaeb2338557ec84cefa7a6eed5594c35908e7ccc337a93aaa704283f88874f5cb3ca1f9dbe2355266af163f27e81cf7e +EBUILD why3-0.83.ebuild 1363 SHA256 6cb36f61416b7216116ba29ffe27def3ab0af87b5407da2dcda216dd247d33ea SHA512 70efbf61abeaf08934547de14502746a96710986e39fa00b8ec1d1763f0ef204801e993754852edaec2eaa38ed73ab49527670fbaff619595be31b0acfc36d93 WHIRLPOOL b308b9d8f1d7b003c47e1f9e1857ea78885d25f935c609f024450bd39acb64e7c7363d3e9ec9bf360e2f9697235aac9b6a964097c3c64bbfe485028b45c93c3a +MISC ChangeLog 248 SHA256 75e04e1c01a3bab95d3aea02729451bc72450b4a357e3cd7da5e250766dc4181 SHA512 59d5309b1fbc0e829ebe13318c221964cb97e6083ddb5c87acbcbe720882305911cd1f8187aa389b1394892edc0718370c4326cf889ed3144eb89e6d31259f24 WHIRLPOOL 743c17f5170e887142722dc269b465563ad496629dd35985870dfe25d94b41ecc18557d0a56ac55076b4c546c80e2fef3def54c9ce6f06fecda09bd03d37c89f +MISC metadata.xml 896 SHA256 f33c0d39649c03f0319f70f8ee57949ebd55c64e23c0d890cbafcd6f298f7cbf SHA512 e90fa0d593e24051de6c92ad365ce0457e807d1a1fdc4303b20236f12f5a3cf558cfcd01090ae054e233bd7005e9c78842dbe9a6c4fc90c6c49f20068e78565a WHIRLPOOL fba0d374db71261ec78f5cd3fe5389e3128cfb9bc7356d4b565f64f038fce65a58237ce411f1ba743bdedbf67300552195230ea0952a7e09cb0547625be3ef03 |