aboutsummaryrefslogblamecommitdiff
path: root/math/proofgeneral/pkg-plist
blob: 06d0b1aad2e8b4da00d1eae470d0a633afc01d4d (plain) (tree)