summaryrefslogtreecommitdiff
path: root/debian
ModeNameSize
-rw-r--r--changelog1143logplain
-rw-r--r--control4158logplain
-rw-r--r--copyright1492logplain
-rw-r--r--gbp.conf30logplain
-rw-r--r--libppx-tools-versioned-ocaml-dev.install.in505logplain
-rw-r--r--libppx-tools-versioned-ocaml-doc.install87logplain
-rw-r--r--libppx-tools-versioned-ocaml-doc.ocamldoc.in110logplain
-rw-r--r--libppx-tools-versioned-ocaml.install.in188logplain
-rw-r--r--not-installed36logplain
-rwxr-xr-xrules358logplain
d---------source34logplain
d---------tests71logplain
-rw-r--r--watch96logplain