package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2

Folder: tools

d .. (parent)
d d rwxr-xr-x 4,096 coqdoc
- - rw-r--r-- 26,677 CoqMakefile.in
- - rw-r--r-- 833 README.emacs
- - rw-r--r-- 11,260 TimeFileMaker.py
- - rwxr-xr-x 2,083 beautify-archive
- - rwxr-xr-x 975 check-translate
- - rw-r--r-- 740 coq-sl.sty
- - rw-r--r-- 17,120 coq_makefile.ml
- - rw-r--r-- 10,155 coq_tex.ml
- - rw-r--r-- 5,705 coqc.ml
- - rw-r--r-- 20,035 coqdep.ml
- - rw-r--r-- 2,497 coqdep_boot.ml
- - rw-r--r-- 21,201 coqdep_common.ml
- - rw-r--r-- 3,394 coqdep_common.mli
- - rw-r--r-- 1,155 coqdep_lexer.mli
- - rw-r--r-- 9,830 coqdep_lexer.mll
- - rw-r--r-- 9,289 coqwc.mll
- - rw-r--r-- 7,234 coqworkmgr.ml
- - rw-r--r-- 11,739 fake_ide.ml
- - rwxr-xr-x 618 make-both-single-timing-files.py
- - rwxr-xr-x 683 make-both-time-files.py
- - rwxr-xr-x 769 make-one-time-file.py
- - rw-r--r-- 884 md5sum.ml
- - rw-r--r-- 3,016 mkwinapp.ml
- - rw-r--r-- 8,088 ocamllibdep.mll
- - rwxr-xr-x 2,220 update-require