You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/sci-mathematics/kodkod/Manifest

3 lines
745 B

DIST kodkod-1.5.2.zip 2092639 SHA256 c54e2181f1e094bf34d52d3ab47b313c4d4464dc25c2cbb3ffd80929d1004a41 SHA512 d55d84e1daabe37c6994fd434c157d5eaecd1d0b2bbe4ab5a2d5e0e529a378d0cb8dc1eac5b89336706f899b23b9682dfd1033f4a2caec76485b12966e091df0 WHIRLPOOL 9919b7bb4de3cf8d53804cfb4a8c5874575acadc6fc7f0afcabd31847947e2f1f77ffb5565fe283088bafb9421fdc8d1245243a58e7f5d97004ecf66d7f1ac12
DIST waf-1.7.6 89646 SHA256 99a8ae36d856da288308388a349aae4264afee09edb2e7dfedbcfcddc83c0609 SHA512 b068dfa54092fd845112c8a1db7cda449c905bdc5fd31c04c8330e54c29aa5119c36c9fd0562172dd389dbc87eae41d7a54be1f3757a52228c1f204934c96d76 WHIRLPOOL 5bb74c776c0584ea69ae5a65eea0e342f9e66156811e4a5047f24e79be6a48c6bae8da680bf3ca01aead082419ce324a555d6aece3bb8976c59e3d5556a12926