package info
(click to toggle)
Folder: 1.12.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 28 | docs |
|
d | rwxr-xr-x | 4,096 | stdpp |
|
d | rwxr-xr-x | 91 | stdpp_bitvector |
|
d | rwxr-xr-x | 46 | stdpp_unstable |
|
d | rwxr-xr-x | 4,096 | tests |
 |
- | rw-r--r-- | 165 | .gitattributes |
|
- | rw-r--r-- | 248 | .gitignore |
|
- | rw-r--r-- | 1,870 | .gitlab-ci.yml |
|
- | rw-r--r-- | 62,305 | CHANGELOG.md |
|
- | rw-r--r-- | 1,745 | LICENSE |
|
- | rw-r--r-- | 2,084 | Makefile |
|
- | rw-r--r-- | 2,267 | Makefile.coq.local |
|
- | rw-r--r-- | 4,620 | README.md |
|
- | rw-r--r-- | 1,646 | _CoqProject |
|
- | rwxr-xr-x | 547 | coq-lint.sh |
|
- | rw-r--r-- | 850 | coq-stdpp-bitvector.opam |
|
- | rw-r--r-- | 718 | coq-stdpp-unstable.opam |
|
- | rw-r--r-- | 1,735 | coq-stdpp.opam |
|
- | rw-r--r-- | 285 | dune |
|
- | rw-r--r-- | 32 | dune-project |
|
- | rwxr-xr-x | 1,203 | make-package |
|
- | rw-r--r-- | 76 | test-normalizer.sed |