summaryrefslogtreecommitdiff
path: root/dev-ml/dune-rpc
ModeNameSize
-rw-r--r--Manifest309logplain
-rw-r--r--dune-rpc-3.16.0-r1.ebuild732logplain
-rw-r--r--metadata.xml385logplain
generated by cgit v1.3.1 (git 2.54.0) at 2026-06-01 13:31:19 +0000