DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
coq
/
8.1.pl3%2Bdfsg-1
/ scripts
package info
(click to toggle)
coq 8.1.pl3%2Bdfsg-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: scripts
.. (parent)
-
rw-r--r--
6,467
coqc.ml
-
rw-r--r--
11,263
coqmktop.ml