package info
(click to toggle)
Folder: 2.0.7-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 61 | docs |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 144 | tests |
|
d | rwxr-xr-x | 42 | trace |
 |
- | rw-r--r-- | 32 | .gitattributes |
|
- | rw-r--r-- | 275 | .gitignore |
|
- | rw-r--r-- | 8 | .ocamlformat |
|
- | rw-r--r-- | 377 | AUTHORS.md |
|
- | rw-r--r-- | 41,461 | CHANGES.md |
|
- | rw-r--r-- | 30,775 | ELPI.md |
|
- | rw-r--r-- | 1,979 | INCOMPATIBILITIES.md |
|
- | rw-r--r-- | 53,044 | LICENSE |
|
- | rw-r--r-- | 4,747 | Makefile |
|
- | rw-r--r-- | 7,856 | README.md |
|
- | rw-r--r-- | 288 | dune |
|
- | rw-r--r-- | 47 | dune-project |
|
- | rw-r--r-- | 3,581 | elpi.opam |
|
- | rw-r--r-- | 9,147 | elpi_REPL.ml |