package info (click to toggle)
coq 8.1.pl3+dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 14,576 kB
  • ctags: 19,904
  • sloc: ml: 115,253; makefile: 1,668; ansic: 1,460; sh: 1,163; lisp: 456; awk: 15

Folder: 8.1.pl3+dfsg-1

d .. (parent)
d d rwxr-xr-x 10 bin
d d rwxr-xr-x 87 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 121 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 pretyping
d d rwxr-xr-x 4,096 proofs
d d rwxr-xr-x 50 scripts
d d rwxr-xr-x 61 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-- 262,715 .depend
- - rw-r--r-- 1,925 .depend.camlp4
- - rw-r--r-- 64,520 .depend.coq
- - rw-r--r-- 54,260 CHANGES
- - rw-r--r-- 2,503 COMPATIBILITY
- - rw-r--r-- 1,383 COPYRIGHT
- - rw-r--r-- 5,611 CREDITS
- - rwxr-xr-x 159 Coq.bat
- - rwxr-xr-x 156 Coqide.bat
- - rw-r--r-- 10,353 INSTALL
- - rw-r--r-- 3,855 INSTALL.ide
- - rw-r--r-- 633 INSTALL.macosx
- - rw-r--r-- 681 KNOWN-BUGS
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 61,705 Makefile
- - rw-r--r-- 736 Makefile.dep
- - rw-r--r-- 1,839 README
- - rw-r--r-- 1,839 README.win
- - rwxr-xr-x 24,273 configure