kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/cvc3/distinfo

3 lines
129 B
Text
Raw Normal View History

- Update to 2.4.1
2012-02-04 15:37:52 +01:00
SHA256 (cvc3-2.4.1.tar.gz) = d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7
SIZE (cvc3-2.4.1.tar.gz) = 1196616
Reference in a new issue Copy permalink