Mode | Name | Size | |
---|---|---|---|
d--------- | .github / workflows | 36 | logplain |
-rw-r--r-- | .gitignore | 58 | logplain |
-rw-r--r-- | .merlin | 38 | logplain |
-rw-r--r-- | .ocamlformat | 208 | logplain |
-rwxr-xr-x | .travis-ci.sh | 335 | logplain |
-rw-r--r-- | CHANGES | 3428 | logplain |
-rw-r--r-- | COPYING | 26430 | logplain |
-rw-r--r-- | README.md | 660 | logplain |
d--------- | debian | 479 | logplain |
-rw-r--r-- | dune-project | 377 | logplain |
-rw-r--r-- | duppy.opam | 714 | logplain |
d--------- | examples | 184 | logplain |
d--------- | src | 146 | logplain |