aboutsummaryrefslogtreecommitdiff
path: root/math/picosat/pkg-plist
blob: 75683008eba2a480a15b35c5589fa179585a09dc (plain) (blame)
1
2
3
4
5
6
7