package info (click to toggle)
coq 8.2.pl2+dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 17,644 kB
  • ctags: 22,672
  • sloc: ml: 133,155; ansic: 1,960; sh: 1,372; lisp: 456; makefile: 363

Folder: 8.2.pl2+dfsg-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 10 bin
d d rwxr-xr-x 4,096 checker
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 84 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-- 1,513 .gitignore
- - rw-r--r-- 83,804 CHANGES
- - rw-r--r-- 3,029 COMPATIBILITY
- - rw-r--r-- 1,314 COPYRIGHT
- - rw-r--r-- 6,635 CREDITS
- - rwxr-xr-x 159 Coq.bat
- - rwxr-xr-x 156 Coqide.bat
- - rw-r--r-- 12,748 INSTALL
- - rw-r--r-- 1,941 INSTALL.doc
- - rw-r--r-- 4,624 INSTALL.ide
- - rw-r--r-- 913 INSTALL.macosx
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 9,250 Makefile
- - rw-r--r-- 34,467 Makefile.build
- - rw-r--r-- 33,923 Makefile.common
- - rw-r--r-- 11,533 Makefile.doc
- - rw-r--r-- 1,256 Makefile.stage1
- - rw-r--r-- 699 Makefile.stage2
- - rw-r--r-- 698 Makefile.stage3
- - rw-r--r-- 1,830 README
- - rwxr-xr-x 645 README.doc
- - rw-r--r-- 2,265 README.win
- - rwxr-xr-x 31,328 configure
- - rwxr-xr-x 144 install.sh