DEBSOURCES
Skip Quicknav
Home
Search
Documentation
Stats
About
sources
/
coq
/
8.3.pl4%2Bdfsg-2
/ config
package info
(click to toggle)
coq 8.3.pl4%2Bdfsg-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: config
.. (parent)
-
rw-r--r--
3,716
Makefile.template
-
rw-r--r--
2,678
coq_config.mli