aboutsummaryrefslogblamecommitdiff
path: root/math/cvc3/pkg-plist
blob: c8eca32ed3835535cc454ce3d16fc063414d12aa (plain) (tree)