package info (click to toggle)
coq 8.12.0-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 36,468 kB
  • sloc: ml: 210,451; sh: 3,345; python: 3,008; ansic: 2,482; makefile: 793; lisp: 224; javascript: 63; xml: 24; sed: 2

Folder: 8.12.0-3

show hidden (1)
d .. (parent)
d d rwxr-xr-x 115 .github
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 checker
d d rwxr-xr-x 4,096 clib
d d rwxr-xr-x 73 config
d d rwxr-xr-x 144 coqpp
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 dev
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 4,096 engine
d d rwxr-xr-x 4,096 gramlib
d d rwxr-xr-x 4,096 ide
d d rwxr-xr-x 4,096 interp
d d rwxr-xr-x 4,096 kernel
d d rwxr-xr-x 4,096 lib
d d rwxr-xr-x 4,096 library
d d rwxr-xr-x 4,096 man
d d rwxr-xr-x 4,096 parsing
d d rwxr-xr-x 4,096 plugins
d d rwxr-xr-x 4,096 pretyping
d d rwxr-xr-x 4,096 printing
d d rwxr-xr-x 4,096 proofs
d d rwxr-xr-x 4,096 stm
d d rwxr-xr-x 4,096 tactics
d d rwxr-xr-x 4,096 test-suite
d d rwxr-xr-x 4,096 theories
d d rwxr-xr-x 4,096 tools
d d rwxr-xr-x 4,096 topbin
d d rwxr-xr-x 4,096 toplevel
d d rwxr-xr-x 26 user-contrib
d d rwxr-xr-x 4,096 vernac
- - rw-r--r-- 21,784 .gitlab-ci.yml
- - rw-r--r-- 581 .merlin.in
- - rw-r--r-- 333 .ocamlformat
- - rw-r--r-- 12 .ocamlinit
- - rw-r--r-- 6,711 CODE_OF_CONDUCT.md
- - rw-r--r-- 63,241 CONTRIBUTING.md
- - rw-r--r-- 8,060 CREDITS
- - rw-r--r-- 3,595 INSTALL.md
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 11,477 META.coq.in
- - rw-r--r-- 797 Makefile
- - rw-r--r-- 33,000 Makefile.build
- - rw-r--r-- 3,175 Makefile.checker
- - rw-r--r-- 2,070 Makefile.ci
- - rw-r--r-- 6,610 Makefile.common
- - rw-r--r-- 5,726 Makefile.dev
- - rw-r--r-- 9,750 Makefile.doc
- - rw-r--r-- 4,553 Makefile.dune
- - rw-r--r-- 10,984 Makefile.ide
- - rw-r--r-- 6,146 Makefile.install
- - rw-r--r-- 13,445 Makefile.make
- - rw-r--r-- 2,330 Makefile.vofiles
- - rw-r--r-- 5,663 README.md
- - rw-r--r-- 3,922 azure-pipelines.yml
- - rwxr-xr-x 944 configure
- - rw-r--r-- 44,381 configure.ml
- - rw-r--r-- 1,060 coq-doc.opam
- - rw-r--r-- 1,141 coq.opam
- - rw-r--r-- 1,195 coq.opam.docker
- - rw-r--r-- 963 coqide-server.opam
- - rw-r--r-- 992 coqide.opam
- - rw-r--r-- 3,932 default.nix
- - rw-r--r-- 1,078 dune
- - rw-r--r-- 117 dune-project
- - rwxr-xr-x 248 install.sh
- - rw-r--r-- 142 shell.nix