package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • 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: library

d .. (parent)
- - rw-r--r-- 13,732 coqlib.ml
- - rw-r--r-- 6,647 coqlib.mli
- - rw-r--r-- 2,022 decl_kinds.ml
- - rw-r--r-- 34,931 declaremods.ml
- - rw-r--r-- 4,546 declaremods.mli
- - rw-r--r-- 2,639 decls.ml
- - rw-r--r-- 1,888 decls.mli
- - rw-r--r-- 1,001 dischargedhypsmap.ml
- - rw-r--r-- 971 dischargedhypsmap.mli
- - rw-r--r-- 10,655 global.ml
- - rw-r--r-- 6,581 global.mli
- - rw-r--r-- 8,265 globnames.ml
- - rw-r--r-- 3,630 globnames.mli
- - rw-r--r-- 13,928 goptions.ml
- - rw-r--r-- 6,752 goptions.mli
- - rw-r--r-- 4,330 keys.ml
- - rw-r--r-- 1,049 keys.mli
- - rw-r--r-- 1,456 kindops.ml
- - rw-r--r-- 937 kindops.mli
- - rw-r--r-- 22,127 lib.ml
- - rw-r--r-- 7,293 lib.mli
- - rw-r--r-- 5,800 libnames.ml
- - rw-r--r-- 4,808 libnames.mli
- - rw-r--r-- 4,750 libobject.ml
- - rw-r--r-- 4,690 libobject.mli
- - rw-r--r-- 28,888 library.ml
- - rw-r--r-- 3,563 library.mli
- - rw-r--r-- 156 library.mllib
- - rw-r--r-- 3,969 loadpath.ml
- - rw-r--r-- 2,335 loadpath.mli
- - rw-r--r-- 17,243 nametab.ml
- - rw-r--r-- 7,715 nametab.mli
- - rw-r--r-- 1,460 states.ml
- - rw-r--r-- 1,428 states.mli
- - rw-r--r-- 5,554 summary.ml
- - rw-r--r-- 4,094 summary.mli