summaryrefslogtreecommitdiff
path: root/sci-mathematics/alt-ergo
AgeCommit message (Expand)Author
2017-10-15gentoo resync : 15.10.2017V3n3RiX