distinfo « cvc3 « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/cvc3/distinfo

blob: f537a0307d660938373227c0f183c5b3a38eaaa2 (plain) (blame)

1
2
3

MD5 (cvc3-1.0.tar.gz) = afe2e56b3002fd4dda73e68acda2e4a1
SHA256 (cvc3-1.0.tar.gz) = 9a027f209471303751536133cc4643a3b14b975784e4c56cc47ca3c57ac15d0c
SIZE (cvc3-1.0.tar.gz) = 756035