package info (click to toggle)
coq 8.16.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 40,596 kB
  • sloc: ml: 219,376; sh: 3,545; python: 3,231; ansic: 2,529; makefile: 767; lisp: 279; javascript: 63; xml: 24; sed: 2

Folder: parsing

d .. (parent)
- - rw-r--r-- 29,429 cLexer.ml
- - rw-r--r-- 2,932 cLexer.mli
- - rw-r--r-- 148 dune
- - rw-r--r-- 4,480 extend.ml
- - rw-r--r-- 3,872 extend.mli
- - rw-r--r-- 20,527 g_constr.mlg
- - rw-r--r-- 4,022 g_prim.mlg
- - rw-r--r-- 1,459 notation_gram.ml
- - rw-r--r-- 1,870 notgram_ops.ml
- - rw-r--r-- 1,263 notgram_ops.mli
- - rw-r--r-- 16,518 pcoq.ml
- - rw-r--r-- 10,262 pcoq.mli
- - rw-r--r-- 6,613 tok.ml
- - rw-r--r-- 2,039 tok.mli