package info (click to toggle)
coq 8.3.pl4+dfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 18,404 kB
  • sloc: ml: 134,418; lisp: 2,734; ansic: 1,968; sh: 1,215; makefile: 655

Folder: 8.3.pl4+dfsg-2

show hidden (1)
d .. (parent)
d d rwxr-xr-x 84 .pc
d d rwxr-xr-x 4,096 checker
d d rwxr-xr-x 63 config
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 plugins
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 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-- 104,225 CHANGES
- - rw-r--r-- 1,784 COMPATIBILITY
- - rw-r--r-- 661 COPYRIGHT
- - rw-r--r-- 6,762 CREDITS
- - rw-r--r-- 12,587 INSTALL
- - rw-r--r-- 1,941 INSTALL.doc
- - rw-r--r-- 4,542 INSTALL.ide
- - rw-r--r-- 1,181 INSTALL.macosx
- - rw-r--r-- 24,381 LICENSE
- - rw-r--r-- 11,076 Makefile
- - rw-r--r-- 29,882 Makefile.build
- - rw-r--r-- 14,169 Makefile.common
- - rw-r--r-- 11,955 Makefile.doc
- - rw-r--r-- 1,256 Makefile.stage1
- - rw-r--r-- 981 Makefile.stage2
- - rw-r--r-- 1,703 README
- - rwxr-xr-x 645 README.doc
- - rw-r--r-- 2,075 README.win
- - rw-r--r-- 2,408 _tags
- - rwxr-xr-x 536 build
- - rwxr-xr-x 32,338 configure
- - rw-r--r-- 39 coq-win32.itarget
- - rw-r--r-- 59 coq.itarget
- - rwxr-xr-x 142 install.sh
- - rw-r--r-- 17,006 myocamlbuild.ml