package info (click to toggle)
coq-doc 8.6-1
  • links: PTS, VCS
  • area: non-free
  • in suites: sid
  • size: 28,536 kB
  • ctags: 31,323
  • sloc: ml: 183,693; ansic: 1,858; lisp: 1,425; sh: 1,127; makefile: 648; xml: 24; sed: 2

Folder: 8.6-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 checker
d d rwxr-xr-x 35 config
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 grammar
d d rwxr-xr-x 4,096 ide
d d rwxr-xr-x 4,096 interp
d d rwxr-xr-x 4,096 intf
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 ltac
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 toplevel
- - rw-r--r-- 125 .gitattributes
- - rw-r--r-- 8,686 .mailmap
- - rw-r--r-- 403 .merlin
- - rw-r--r-- 159,271 CHANGES
- - rw-r--r-- 7,834 COMPATIBILITY
- - rw-r--r-- 744 COPYRIGHT
- - rw-r--r-- 6,738 CREDITS
- - rw-r--r-- 10,613 INSTALL
- - rw-r--r-- 1,766 INSTALL.doc
- - rw-r--r-- 3,715 INSTALL.ide
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 4,273 META.coq
- - rw-r--r-- 10,520 Makefile
- - rw-r--r-- 23,249 Makefile.build
- - rw-r--r-- 2,637 Makefile.checker
- - rw-r--r-- 6,478 Makefile.common
- - rw-r--r-- 7,321 Makefile.dev
- - rw-r--r-- 18,363 Makefile.doc
- - rw-r--r-- 9,301 Makefile.ide
- - rw-r--r-- 5,239 Makefile.install
- - rw-r--r-- 645 README.doc
- - rw-r--r-- 1,684 README.md
- - rwxr-xr-x 932 configure
- - rw-r--r-- 42,170 configure.ml
- - rwxr-xr-x 233 install.sh