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: a28de67486537851e05801449bf26f2b65a5f84b (plain) (blame)

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