package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, 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: interp

d .. (parent)
- - rw-r--r-- 4,442 abbreviation.ml
- - rw-r--r-- 1,490 abbreviation.mli
- - rw-r--r-- 8,866 constrexpr.mli
- - rw-r--r-- 28,113 constrexpr_ops.ml
- - rw-r--r-- 5,425 constrexpr_ops.mli
- - rw-r--r-- 68,147 constrextern.ml
- - rw-r--r-- 3,603 constrextern.mli
- - rw-r--r-- 132,421 constrintern.ml
- - rw-r--r-- 9,613 constrintern.mli
- - rw-r--r-- 2,239 decls.ml
- - rw-r--r-- 2,134 decls.mli
- - rw-r--r-- 9,628 dumpglob.ml
- - rw-r--r-- 6,033 dumpglob.mli
- - rw-r--r-- 246 dune
- - rw-r--r-- 3,439 genintern.ml
- - rw-r--r-- 2,776 genintern.mli
- - rw-r--r-- 32,156 impargs.ml
- - rw-r--r-- 6,325 impargs.mli
- - rw-r--r-- 8,453 implicit_quantifiers.ml
- - rw-r--r-- 1,427 implicit_quantifiers.mli
- - rw-r--r-- 6,269 modintern.ml
- - rw-r--r-- 1,931 modintern.mli
- - rw-r--r-- 111,960 notation.ml
- - rw-r--r-- 15,616 notation.mli
- - rw-r--r-- 83,601 notation_ops.ml
- - rw-r--r-- 4,503 notation_ops.mli
- - rw-r--r-- 5,290 notation_term.mli
- - rw-r--r-- 8,439 notationextern.ml
- - rw-r--r-- 2,977 notationextern.mli
- - rw-r--r-- 10,475 numTok.ml
- - rw-r--r-- 5,330 numTok.mli
- - rw-r--r-- 4,357 reserve.ml
- - rw-r--r-- 823 reserve.mli
- - rw-r--r-- 4,040 smartlocate.ml
- - rw-r--r-- 2,356 smartlocate.mli
- - rw-r--r-- 2,030 stdarg.ml
- - rw-r--r-- 2,514 stdarg.mli