distinfo « cvc3 « math - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/cvc3/distinfo

blob: 0c6bb4a9779ddb2fe48efcd0a5e03ec4778985e2 (plain) (blame)

1
2
3

MD5 (cvc3-1.2.1.tar.gz) = 65fc95fdb0ed6d1386b5f863d1b76391
SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9
SIZE (cvc3-1.2.1.tar.gz) = 827577