package info (click to toggle)
coq 8.9.1-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 30,668 kB
  • sloc: ml: 192,327; sh: 2,684; python: 2,205; ansic: 1,878; makefile: 827; lisp: 202; xml: 24; sed: 2

Folder: 8.9.1-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 73 .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 35 config
d d rwxr-xr-x 108 coqpp
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 dev
d d rwxr-xr-x 119 doc
d d rwxr-xr-x 4,096 engine
d d rwxr-xr-x 127 grammar
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 4,096 vernac
- - rw-r--r-- 11,172 .gitlab-ci.yml
- - rw-r--r-- 559 .merlin.in
- - rw-r--r-- 191,546 CHANGES.md
- - rw-r--r-- 9,870 CONTRIBUTING.md
- - rw-r--r-- 8,087 CREDITS
- - rw-r--r-- 12,311 INSTALL
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 10,146 META.coq.in
- - rw-r--r-- 12,764 Makefile
- - rw-r--r-- 30,600 Makefile.build
- - rw-r--r-- 3,834 Makefile.checker
- - rw-r--r-- 1,740 Makefile.ci
- - rw-r--r-- 6,172 Makefile.common
- - rw-r--r-- 6,736 Makefile.dev
- - rw-r--r-- 9,969 Makefile.doc
- - rw-r--r-- 10,369 Makefile.ide
- - rw-r--r-- 5,688 Makefile.install
- - rw-r--r-- 1,582 Makefile.vofiles
- - rw-r--r-- 3,137 README.md
- - rw-r--r-- 297 appveyor.yml
- - rwxr-xr-x 944 configure
- - rw-r--r-- 49,609 configure.ml
- - rw-r--r-- 3,242 default.nix
- - rwxr-xr-x 248 install.sh
- - rw-r--r-- 251 shell.nix