package info (click to toggle)
coq 9.1.0%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 35,964 kB
  • sloc: ml: 239,908; sh: 4,355; python: 2,985; ansic: 2,644; makefile: 874; lisp: 171; javascript: 63; xml: 24; sed: 2

Folder: tools

d .. (parent)
d d rwxr-xr-x 152 configure
d d rwxr-xr-x 80 coqdep
d d rwxr-xr-x 4,096 coqdoc
d d rwxr-xr-x 4,096 coqworkmgr
d d rwxr-xr-x 4,096 dune_rule_gen
- - rw-r--r-- 32,395 CoqMakefile.in
- - rw-r--r-- 26,911 TimeFileMaker.py
- - rwxr-xr-x 2,083 beautify-archive
- - rw-r--r-- 759 coq_makefile.ml
- - rw-r--r-- 0 coq_makefile.mli
- - rw-r--r-- 754 coq_tex.ml
- - rw-r--r-- 0 coq_tex.mli
- - rw-r--r-- 732 coqwc.ml
- - rw-r--r-- 0 coqwc.mli
- - rw-r--r-- 1,189 dune
- - rwxr-xr-x 883 make-both-single-timing-files.py
- - rwxr-xr-x 924 make-both-time-files.py
- - rwxr-xr-x 690 make-one-time-file.py
- - rw-r--r-- 0 ocamllibdep.mli
- - rw-r--r-- 8,656 ocamllibdep.mll
- - rw-r--r-- 18,077 rocqmakefile.ml
- - rw-r--r-- 891 rocqmakefile.mli
- - rw-r--r-- 10,238 rocqtex.ml
- - rw-r--r-- 722 rocqtex.mli
- - rw-r--r-- 707 rocqwc.mli
- - rw-r--r-- 9,231 rocqwc.mll
- - rwxr-xr-x 2,226 update-require