package info
(click to toggle)
Folder: 1.4+9.0-2
 |
.. (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 | 76 | examples |
|
d | rwxr-xr-x | 26 | scripts |
|
d | rwxr-xr-x | 4,096 | src |
|
d | rwxr-xr-x | 4,096 | tests |
|
d | rwxr-xr-x | 4,096 | theories |
|
d | rwxr-xr-x | 116 | timings |
 |
- | rw-r--r-- | 625 | .gitignore |
|
- | rw-r--r-- | 28 | .ocp-indent |
|
- | rw-r--r-- | 2,055 | .travis.yml |
|
- | rw-r--r-- | 1,817 | CHANGES.md |
|
- | rw-r--r-- | 420 | GNUmakefile |
|
- | rw-r--r-- | 1,166 | LICENSE |
|
- | rw-r--r-- | 1,268 | Makefile.local |
|
- | rw-r--r-- | 2,598 | README.md |
|
- | rwxr-xr-x | 1,415 | _CoqProject |
|
- | rw-r--r-- | 128 | bors.toml |
|
- | rwxr-xr-x | 1,408 | configure.sh |
|
- | rw-r--r-- | 0 | coq-mtac2.opam |
|
- | rw-r--r-- | 49 | dune-project |
|
- | rw-r--r-- | 600 | opam |