package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: 8.9.0-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-- 9,849 .gitlab-ci.yml
- - rw-r--r-- 559 .merlin.in
- - rw-r--r-- 191,164 CHANGES.md
- - rw-r--r-- 9,870 CONTRIBUTING.md
- - rw-r--r-- 8,087 CREDITS
- - rw-r--r-- 12,475 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,611 Makefile.build
- - rw-r--r-- 4,178 Makefile.checker
- - rw-r--r-- 1,714 Makefile.ci
- - rw-r--r-- 6,172 Makefile.common
- - rw-r--r-- 6,736 Makefile.dev
- - rw-r--r-- 9,954 Makefile.doc
- - rw-r--r-- 10,369 Makefile.ide
- - rw-r--r-- 5,688 Makefile.install
- - rw-r--r-- 1,576 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,256 default.nix
- - rwxr-xr-x 248 install.sh
- - rw-r--r-- 251 shell.nix