summaryrefslogtreecommitdiff
path: root/dev-ml/ppx_optional
ModeNameSize
-rw-r--r--Manifest2780logplain
-rw-r--r--metadata.xml321logplain
-rw-r--r--ppx_optional-0.14.0.ebuild548logplain
-rw-r--r--ppx_optional-0.15.0.ebuild519logplain
-rw-r--r--ppx_optional-0.16.0.ebuild542logplain
-rw-r--r--ppx_optional-0.17.0.ebuild601logplain