package info
(click to toggle)
Folder: 4.4.0-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 36 | .gitlab |
|
d | rwxr-xr-x | 135 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | docs |
|
d | rwxr-xr-x | 4,096 | iris |
|
d | rwxr-xr-x | 86 | iris_deprecated |
|
d | rwxr-xr-x | 4,096 | iris_heap_lang |
|
d | rwxr-xr-x | 100 | iris_unstable |
|
d | rwxr-xr-x | 4,096 | tests |
|
d | rwxr-xr-x | 4,096 | tex |
 |
- | rw-r--r-- | 135 | .gitattributes |
|
- | rw-r--r-- | 257 | .gitignore |
|
- | rw-r--r-- | 2,035 | .gitlab-ci.yml |
|
- | rw-r--r-- | 121,379 | CHANGELOG.md |
|
- | rw-r--r-- | 6,285 | CONTRIBUTING.md |
|
- | rw-r--r-- | 352 | LICENSE |
|
- | rw-r--r-- | 1,780 | LICENSE-CODE |
|
- | rw-r--r-- | 18,975 | LICENSE-DOCS |
|
- | rw-r--r-- | 2,084 | Makefile |
|
- | rw-r--r-- | 2,535 | Makefile.coq.local |
|
- | rw-r--r-- | 9,491 | README.md |
|
- | rw-r--r-- | 6,026 | _CoqProject |
|
- | rw-r--r-- | 617 | coq-iris-deprecated.opam |
|
- | rw-r--r-- | 682 | coq-iris-heap-lang.opam |
|
- | rw-r--r-- | 660 | coq-iris-unstable.opam |
|
- | rw-r--r-- | 1,281 | coq-iris.opam |
|
- | rwxr-xr-x | 547 | coq-lint.sh |
|
- | rw-r--r-- | 380 | dune |
|
- | rw-r--r-- | 32 | dune-project |
|
- | rwxr-xr-x | 9,499 | iris-bot |
|
- | rwxr-xr-x | 1,203 | make-package |
|
- | rw-r--r-- | 181 | test-normalizer.sed |