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

d .. (parent)
d d rwxr-xr-x 42 build
d d rwxr-xr-x 4,096 ci
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 28 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-- 617 Bugzilla_Coq_autolink.user.js
- - rw-r--r-- 1,745 Coq_Bugzilla_autolink.user.js
- - rw-r--r-- 2,555 README.md
- - rw-r--r-- 153 base_db
- - rw-r--r-- 5,225 base_include
- - rw-r--r-- 5,011 bugzilla2github_stripped.csv
- - rw-r--r-- 137 checker.dbg
- - rw-r--r-- 1,223 checker_db
- - rw-r--r-- 2,754 checker_printers.ml
- - rw-r--r-- 2,120 checker_printers.mli
- - rw-r--r-- 456 core.dbg
- - rw-r--r-- 3,525 db
- - rw-r--r-- 1,740 dynlink.ml
- - rw-r--r-- 675 header.c
- - rw-r--r-- 675 header.ml
- - rw-r--r-- 675 header.py
- - rw-r--r-- 3,460 include
- - rwxr-xr-x 873 lint-commits.sh
- - rwxr-xr-x 1,253 lint-repository.sh
- - rwxr-xr-x 116 macosify_accel.sh
- - rw-r--r-- 2,030 ocamldebug-coq.run
- - rw-r--r-- 22,250 top_printers.ml
- - rw-r--r-- 6,137 top_printers.mli
- - rw-r--r-- 2,600 vm_printers.ml