summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-serapi
ModeNameSize
-rw-r--r--Manifest2149logplain
-rw-r--r--coq-serapi-0.19.0.ebuild1506logplain
-rw-r--r--coq-serapi-0.20.0.ebuild1631logplain
d---------files107logplain
-rw-r--r--metadata.xml935logplain