package info
(click to toggle)
Folder: 0.11-1
| .. (parent) | ||||
| d | rwxr-xr-x | 75 | .github | |
| d | rwxr-xr-x | 152 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 4,096 | doc | |
| d | rwxr-xr-x | 4,096 | lib | |
| d | rwxr-xr-x | 4,096 | src | |
| d | rwxr-xr-x | 4,096 | test | |
| d | rwxr-xr-x | 51 | tools | |
| - | rw-r--r-- | 17 | .gitattributes | |
| - | rw-r--r-- | 10 | .gitignore | |
| - | rw-r--r-- | 142 | AUTHORS | |
| - | rw-r--r-- | 4,097 | CHANGES.md | |
| - | rw-r--r-- | 1,356 | LICENSE | |
| - | rw-r--r-- | 64 | Makefile | |
| - | rw-r--r-- | 43,254 | README.md | |
| - | rw-r--r-- | 2,007 | dune | |
| - | rw-r--r-- | 2,326 | dune-project | |
| - | rw-r--r-- | 0 | dune-workspace | |
| - | rw-r--r-- | 1,064 | multicoretests.opam | |
| - | rw-r--r-- | 1,278 | qcheck-lin.opam | |
| - | rw-r--r-- | 1,030 | qcheck-multicoretests-util.opam | |
| - | rw-r--r-- | 1,196 | qcheck-stm.opam |
