package info (click to toggle)
coq 6.3.1-2
  • links: PTS
  • area: main
  • in suites: potato
  • size: 6,852 kB
  • ctags: 9,439
  • sloc: ml: 67,786; makefile: 1,403; lisp: 535; sh: 458; perl: 135

Folder: 6.3.1-2

d .. (parent)
d d rwxr-xr-x 29 bin
d d rwxr-xr-x 106 debian
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 21 states
d d rwxr-xr-x 4,096 tactics
d d rwxr-xr-x 4,096 theories
d d rwxr-xr-x 4,096 tools
- - rwxr-xr-x 25,665 CHANGES
- - rw-r--r-- 12,605 INSTALL
- - rw-r--r-- 2,514 INSTALL.win
- - rw-r--r-- 26,462 LICENSE
- - rwxr-xr-x 4,492 Makefile
- - rwxr-xr-x 1,917 README
- - rw-r--r-- 1,707 README.win
- - rwxr-xr-x 12,753 configure