aboutsummaryrefslogblamecommitdiff
path: root/math/cvc3/distinfo
blob: a28de67486537851e05801449bf26f2b65a5f84b (plain) (tree) 
85803ea146d0


1
2


                                                                                             
SHA256 (cvc3-2.4.1.tar.gz) = d55b1d6006cfbac3f6d4c086964558902c3ed0efa66ac499cfb2193f3ee4acf7
SIZE (cvc3-2.4.1.tar.gz) = 1196616
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-27 04:05:27 +0000