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/dev-libs/gecode/Manifest

3 lines
760 B

DIST gecode-3.6.0.tar.gz 1591733 SHA256 bd209a51e2ab050f0ef7cb9c606911acee7e1c875f09cc76a9d043dd289d55b9 SHA512 06cce290c76e68ac0196a7e21f9b78396bc4f4f5ed3cd03d27a34a4d566bfeb290faf9e5c6c3db432cac0d87ec60f404849c0a545961f3243eb5c26c7c6ff13e WHIRLPOOL a247603525149da3e7b226f23c550e6a944980ab597ae02a7f6b8857b14a98a767f004c4548ba3c848a3b2f88b413c09b6f5297b20e6124ced25ae5fd15f0b86
DIST gecode-3.7.3.tar.gz 1643336 SHA256 e7cc8bcc18b49195fef0544061bdd2e484a1240923e4e85fa39e8d6bb492854c SHA512 292bafeaca3911b8af40d7c0f425cf0263f4408afad47f4f229a821ce89d06dc69ad1feeeef72531a1e711d797d249581b67c2d9cfdc9e544240012c838d2a5b WHIRLPOOL 5aad39285c73e2d918fca98b694b33e00b11fcc21d542a37e23424acc381696f20826d6c28a33a5cde8fbfdfd4254d05791f2db903903306887e4c4fdecb7104