aboutsummaryrefslogtreecommitdiff
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-24 06:37:41 +0000