package info
(click to toggle)
Folder: 7.58-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | asllib |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | gen |
|
d | rwxr-xr-x | 8,192 | herd |
|
d | rwxr-xr-x | 4,096 | internal |
|
d | rwxr-xr-x | 4,096 | jingle |
|
d | rwxr-xr-x | 8,192 | lib |
|
d | rwxr-xr-x | 8,192 | litmus |
|
d | rwxr-xr-x | 4,096 | tools |
 |
- | rw-r--r-- | 32 | .ocamlformat |
|
- | rw-r--r-- | 1,983 | .pre-commit-config.yaml |
|
- | rw-r--r-- | 11,253 | CHANGES.txt |
|
- | rw-r--r-- | 1,221 | INSTALL.md |
|
- | rw-r--r-- | 22,456 | LICENSE.txt |
|
- | rw-r--r-- | 18,617 | Makefile |
|
- | rw-r--r-- | 4,186 | Makefile.aarch64 |
|
- | rw-r--r-- | 1,810 | Makefile.x86_64 |
|
- | rw-r--r-- | 1,941 | README.md |
|
- | rw-r--r-- | 5 | VERSION.txt |
|
- | rw-r--r-- | 414 | _tags |
|
- | rw-r--r-- | 98 | defs.sh |
|
- | rw-r--r-- | 339 | dune |
|
- | rwxr-xr-x | 776 | dune-install.sh |
|
- | rw-r--r-- | 67 | dune-project |
|
- | rwxr-xr-x | 559 | dune-uninstall.sh |
|
- | rw-r--r-- | 311 | dune-workspace.versions |
|
- | rw-r--r-- | 1,055 | herdtools7.opam |
|
- | rw-r--r-- | 170 | index.mld |
|
- | rw-r--r-- | 1,002 | publish.sh |
|
- | rwxr-xr-x | 289 | version-gen.sh |