package info (click to toggle)
coq 8.6-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 26,884 kB
  • sloc: ml: 183,693; ansic: 1,858; lisp: 1,425; sh: 1,138; makefile: 713; xml: 24; sed: 2

Folder: dev

d .. (parent)
d d rwxr-xr-x 42 build
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 58 nsis
d d rwxr-xr-x 93 ocamldoc
d d rwxr-xr-x 4,096 tools
d d rwxr-xr-x 80 v8-syntax
- - rw-r--r-- 2,562 Makefile.oug
- - rw-r--r-- 1,943 README
- - rw-r--r-- 776 TODO
- - rw-r--r-- 175 base_db
- - rw-r--r-- 5,241 base_include
- - rw-r--r-- 2,108 db
- - rw-r--r-- 681 db_printers.ml
- - rw-r--r-- 1,740 dynlink.ml
- - rw-r--r-- 525 header
- - rw-r--r-- 3,382 include
- - rwxr-xr-x 116 macosify_accel.sh
- - rw-r--r-- 1,554 ocamldebug-coq.run
- - rw-r--r-- 1,920 printers.mllib
- - rw-r--r-- 40 set_raw_db
- - rw-r--r-- 21,457 top_printers.ml
- - rw-r--r-- 2,428 vm_printers.ml