package info (click to toggle)
rocq-stdlib 9.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 11,828 kB
  • sloc: python: 2,928; sh: 444; makefile: 319; javascript: 24; ml: 2

Folder: 9.0.0-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 65 .github
d d rwxr-xr-x 108 .nix
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 117 debian
d d rwxr-xr-x 123 dev
d d rwxr-xr-x 132 doc
d d rwxr-xr-x 4,096 test-suite
d d rwxr-xr-x 4,096 theories
d d rwxr-xr-x 69 tools
- - rw-r--r-- 2,886 .gitignore
- - rw-r--r-- 23,070 .mailmap
- - rw-r--r-- 34,211 CONTRIBUTING.md
- - rw-r--r-- 1,567 INSTALL.md
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 398 Makefile
- - rw-r--r-- 3,111 README.md
- - rw-r--r-- 571 coq-stdlib.opam
- - rw-r--r-- 65 coq-stdlib.opam.template
- - rw-r--r-- 435 default.nix
- - rw-r--r-- 2,054 dune-project
- - rw-r--r-- 1,294 rocq-stdlib.opam
- - rw-r--r-- 117 rocq-stdlib.opam.template