summaryrefslogtreecommitdiff
path: root/sci-mathematics/coq-serapi
ModeNameSize
-rw-r--r--Manifest2770logplain
-rw-r--r--coq-serapi-0.16.1.ebuild1472logplain
-rw-r--r--coq-serapi-0.16.2-r1.ebuild1442logplain
-rw-r--r--coq-serapi-0.16.3.ebuild1483logplain
d---------files105logplain
-rw-r--r--metadata.xml935logplain