cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
openbsd-ports/math/z3/distinfo
rpointel 4bf7b34b7c update z3 to 4.8.5, ok kn@. 
bump lib version because few functions were removed, for example:
86b98e3477
40e329fc92
2019-06-05 05:44:54 +00:00

3 lines
105 B
Plaintext
Raw Blame History

SHA256 (Z3-4.8.5.tar.gz) = To4jKIfd+mQ622ow3NN0PLL6ZZFzX70wK0n3AozcA2M=
SIZE (Z3-4.8.5.tar.gz) = 4177051
Reference in New Issue View Git Blame Copy Permalink