aboutsummaryrefslogtreecommitdiff
path: root/math/vampire/distinfo
blob: 6781a1c504eb234518a5a87f8b77104cf635125d (plain) (blame)
1
2
3