| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | changelog | 3955 | logplain |
| -rw-r--r-- | control | 1459 | logplain |
| -rw-r--r-- | copyright | 1392 | logplain |
| -rw-r--r-- | debian-dune | 13 | logplain |
| -rw-r--r-- | gbp.conf | 30 | logplain |
| -rw-r--r-- | libppx-deriving-ocaml-dev.docs | 23 | logplain |
| -rw-r--r-- | libppx-deriving-ocaml-dev.install.in | 317 | logplain |
| -rw-r--r-- | libppx-deriving-ocaml.install.in | 160 | logplain |
| -rw-r--r-- | not-installed | 39 | logplain |
| d--------- | patches | 125 | logplain |
| -rwxr-xr-x | rules | 126 | logplain |
| d--------- | source | 34 | logplain |
| d--------- | tests | 143 | logplain |
| -rw-r--r-- | watch | 117 | logplain |
 |
index : ppx-deriving | |
| Debian dgit repo for package ppx-deriving |
| summaryrefslogtreecommitdiff |