package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2

Folder: 8.4pl4-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 142 .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 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 proofs
d d rwxr-xr-x 50 scripts
d d rwxr-xr-x 26 states
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-- 120,492 CHANGES
- - rw-r--r-- 2,156 COMPATIBILITY
- - rw-r--r-- 662 COPYRIGHT
- - rw-r--r-- 7,027 CREDITS
- - rw-r--r-- 12,770 INSTALL
- - rw-r--r-- 1,941 INSTALL.doc
- - rw-r--r-- 4,458 INSTALL.ide
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 10,190 Makefile
- - rw-r--r-- 32,725 Makefile.build
- - rw-r--r-- 12,384 Makefile.common
- - rw-r--r-- 13,225 Makefile.doc
- - rw-r--r-- 1,826 README
- - rwxr-xr-x 645 README.doc
- - rw-r--r-- 2,035 README.win
- - rw-r--r-- 2,368 _tags
- - rwxr-xr-x 656 build
- - rwxr-xr-x 37,431 configure
- - rw-r--r-- 39 coq-win32.itarget
- - rw-r--r-- 223 coq.itarget
- - rwxr-xr-x 142 install.sh
- - rw-r--r-- 18,068 myocamlbuild.ml