package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2

Folder: lib

d .. (parent)
- - rw-r--r-- 26,255 acyclicGraph.ml
- - rw-r--r-- 3,458 acyclicGraph.mli
- - rw-r--r-- 3,626 aux_file.ml
- - rw-r--r-- 1,336 aux_file.mli
- - rw-r--r-- 1,180 cAst.ml
- - rw-r--r-- 1,214 cAst.mli
- - rw-r--r-- 3,017 cDebug.ml
- - rw-r--r-- 1,955 cDebug.mli
- - rw-r--r-- 5,455 cErrors.ml
- - rw-r--r-- 3,702 cErrors.mli
- - rw-r--r-- 12,858 cWarnings.ml
- - rw-r--r-- 4,614 cWarnings.mli
- - rw-r--r-- 4,403 control.ml
- - rw-r--r-- 2,029 control.mli
- - rw-r--r-- 12,766 coqProject_file.ml
- - rw-r--r-- 2,750 coqProject_file.mli
- - rw-r--r-- 1,997 core_plugins_findlib_compat.ml
- - rw-r--r-- 794 core_plugins_findlib_compat.mli
- - rw-r--r-- 1,538 dAst.ml
- - rw-r--r-- 1,402 dAst.mli
- - rw-r--r-- 2,923 deprecation.ml
- - rw-r--r-- 1,363 deprecation.mli
- - rw-r--r-- 312 dune
- - rw-r--r-- 6,418 envars.ml
- - rw-r--r-- 2,963 envars.mli
- - rw-r--r-- 4,094 feedback.ml
- - rw-r--r-- 3,618 feedback.mli
- - rw-r--r-- 2,813 flags.ml
- - rw-r--r-- 3,788 flags.mli
- - rw-r--r-- 1,005 hook.ml
- - rw-r--r-- 1,311 hook.mli
- - rw-r--r-- 1,181 instr.mli
- - rw-r--r-- 766 instr.noperf.ml
- - rw-r--r-- 943 instr.perf.ml
- - rw-r--r-- 3,626 loc.ml
- - rw-r--r-- 3,194 loc.mli
- - rw-r--r-- 7,853 newProfile.ml
- - rw-r--r-- 1,682 newProfile.mli
- - rw-r--r-- 6,369 objFile.ml
- - rw-r--r-- 1,836 objFile.mli
- - rw-r--r-- 12,321 pp.ml
- - rw-r--r-- 6,211 pp.mli
- - rw-r--r-- 10,788 pp_diff.ml
- - rw-r--r-- 5,192 pp_diff.mli
- - rw-r--r-- 7,811 rtree.ml
- - rw-r--r-- 3,770 rtree.mli
- - rw-r--r-- 9,113 spawn.ml
- - rw-r--r-- 2,752 spawn.mli
- - rw-r--r-- 1,546 stateid.ml
- - rw-r--r-- 1,809 stateid.mli
- - rw-r--r-- 14,845 system.ml
- - rw-r--r-- 6,648 system.mli
- - rw-r--r-- 2,467 userWarn.ml
- - rw-r--r-- 1,173 userWarn.mli
- - rw-r--r-- 4,863 util.ml
- - rw-r--r-- 4,845 util.mli
- - rw-r--r-- 1,028 xml_datatype.mli