1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-30 01:15:52 +00:00
freebsd-ports/math/cvc3/distinfo
2012-02-04 14:37:52 +00:00

3 lines
129 B
Plaintext

SHA256 (cvc3-2.4.1.tar.gz) = d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7
SIZE (cvc3-2.4.1.tar.gz) = 1196616