summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore23logstatsplain
-rw-r--r--0001-fixes-for-3.12.0.patch13440logstatsplain
-rw-r--r--ocaml-deriving-0.1.1a-dynlink.patch317logstatsplain
-rw-r--r--ocaml-deriving-0.1.1a-no-bimap-mli.patch388logstatsplain
-rw-r--r--ocaml-deriving-no-link-libs.patch863logstatsplain
-rw-r--r--ocaml-deriving.spec6256logstatsplain
-rw-r--r--sources57logstatsplain