distinfo « cvc3 « math - ports - FreeBSD ports tree

about summary refs log tree commit diff

path: root/math/cvc3/distinfo

blob: 15179ba0c4384e0e61b42ce54161b039ccf27cfe (plain) (blame)

1 2	`SHA256 (cvc3-1.2.1.tar.gz) = e2100454606c649a2de59dd9fe3300fe3a7ecc4ac03c1d304c8f797aaed34bd9 SIZE (cvc3-1.2.1.tar.gz) = 827577`