Mode | Name | Size | |
---|---|---|---|
d--------- | .github / workflows | 36 | logplain |
-rw-r--r-- | .gitignore | 7 | logplain |
-rw-r--r-- | .merlin | 84 | logplain |
-rw-r--r-- | CHANGES | 2577 | logplain |
-rw-r--r-- | LICENSE | 27381 | logplain |
-rw-r--r-- | Makefile | 306 | logplain |
-rw-r--r-- | README.md | 833 | logplain |
d--------- | debian | 465 | logplain |
-rw-r--r-- | dune-project | 83 | logplain |
d--------- | lib | 188 | logplain |
d--------- | lib_gen | 281 | logplain |
d--------- | maps | 78 | logplain |
d--------- | src | 115 | logplain |
-rw-r--r-- | unix-errno.opam | 1297 | logplain |
d--------- | unix | 205 | logplain |
d--------- | unix_test | 67 | logplain |