package info (click to toggle)
coq 8.0pl3-2
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 14,376 kB
  • ctags: 17,713
  • sloc: ml: 97,274; makefile: 1,257; sh: 1,215; lisp: 456; awk: 15

Folder: 8.0pl3-2

d .. (parent)
d d rwxr-xr-x 6 bin
d d rwxr-xr-x 87 config
d d rwxr-xr-x 4,096 contrib
d d rwxr-xr-x 4,096 contrib7
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 dev
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 38 scripts
d d rwxr-xr-x 61 states
d d rwxr-xr-x 34 states7
d d rwxr-xr-x 56 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 theories7
d d rwxr-xr-x 4,096 tools
d d rwxr-xr-x 4,096 toplevel
d d rwxr-xr-x 4,096 translate
- - rw-r--r-- 214,905 .depend
- - rw-r--r-- 1,595 .depend.camlp4
- - rw-r--r-- 46,275 .depend.coq
- - rw-r--r-- 38,737 .depend.coq7
- - rw-r--r-- 43,762 CHANGES
- - rw-r--r-- 1,383 COPYRIGHT
- - rw-r--r-- 4,570 CREDITS
- - rw-r--r-- 9,222 INSTALL
- - rw-r--r-- 3,034 INSTALL.ide
- - rw-r--r-- 633 INSTALL.macosx
- - rw-r--r-- 26,430 LICENSE
- - rw-r--r-- 53,533 Makefile
- - rw-r--r-- 721 Makefile.dep
- - rw-r--r-- 1,876 README
- - rw-r--r-- 2,240 README.win
- - rwxr-xr-x 15,999 configure