package info (click to toggle)
coq 7.2-9
  • links: PTS
  • area: main
  • in suites: woody
  • size: 7,188 kB
  • ctags: 10,485
  • sloc: ml: 57,834; makefile: 725; sh: 571; lisp: 142; perl: 84

Folder: 7.2-9

d .. (parent)
d d rwxr-xr-x 10 bin
d d rwxr-xr-x 63 config
d d rwxr-xr-x 4,096 contrib
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 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 pretyping
d d rwxr-xr-x 4,096 proofs
d d rwxr-xr-x 50 scripts
d d rwxr-xr-x 34 states
d d rwxr-xr-x 93 syntax
d d rwxr-xr-x 4,096 tactics
d d rwxr-xr-x 155 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-- 142,149 .depend
- - rw-r--r-- 929 .depend.camlp4
- - rw-r--r-- 25,796 .depend.coq
- - rw-r--r-- 16,296 CHANGES
- - rw-r--r-- 4,022 CREDITS
- - rw-r--r-- 9,206 INSTALL
- - rw-r--r-- 819 INSTALL.macosx
- - rw-r--r-- 2,071 INSTALL.win
- - rw-r--r-- 26,430 LICENSE
- - rw-r--r-- 33,115 Makefile
- - rw-r--r-- 721 Makefile.dep
- - rw-r--r-- 1,918 README
- - rw-r--r-- 1,351 README.win
- - rwxr-xr-x 12,599 configure