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