| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | changelog | 1143 | logplain |
| -rw-r--r-- | control | 4158 | logplain |
| -rw-r--r-- | copyright | 1492 | logplain |
| -rw-r--r-- | gbp.conf | 30 | logplain |
| -rw-r--r-- | libppx-tools-versioned-ocaml-dev.install.in | 505 | logplain |
| -rw-r--r-- | libppx-tools-versioned-ocaml-doc.install | 87 | logplain |
| -rw-r--r-- | libppx-tools-versioned-ocaml-doc.ocamldoc.in | 110 | logplain |
| -rw-r--r-- | libppx-tools-versioned-ocaml.install.in | 188 | logplain |
| -rw-r--r-- | not-installed | 36 | logplain |
| -rwxr-xr-x | rules | 358 | logplain |
| d--------- | source | 34 | logplain |
| d--------- | tests | 71 | logplain |
| -rw-r--r-- | watch | 96 | logplain |
 |
index : ppx-tools-versioned | |
| Debian dgit repo for package ppx-tools-versioned |
| summaryrefslogtreecommitdiff |