package info (click to toggle)
coq-doc 8.16.1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: bookworm
  • size: 42,788 kB
  • sloc: ml: 219,673; sh: 4,035; python: 3,372; ansic: 2,529; makefile: 728; lisp: 279; javascript: 87; xml: 24; sed: 2

Folder: misc

d .. (parent)
d d rwxr-xr-x 32 13330
d d rwxr-xr-x 43 7595
d d rwxr-xr-x 32 bug_14550
d d rwxr-xr-x 97 coqdep-require-filter-categories
d d rwxr-xr-x 4,096 deps
d d rwxr-xr-x 31 exitstatus
d d rwxr-xr-x 4,096 external-deps
d d rwxr-xr-x 95 non-marshalable-state
d d rwxr-xr-x 65 poly-capture-global-univs
d d rwxr-xr-x 46 print-assumptions-vok
d d rwxr-xr-x 46 quick-include
d d rwxr-xr-x 95 quotation_token
d d rwxr-xr-x 65 side-eff-leak-univs
d d rwxr-xr-x 77 universes
- - rwxr-xr-x 109 11170.sh
- - rwxr-xr-x 103 13330.sh
- - rwxr-xr-x 248 4722.sh
- - rwxr-xr-x 42 7393.sh
- - rwxr-xr-x 99 7595.sh
- - rwxr-xr-x 83 7704.sh
- - rw-r--r-- 308 aux11170.v
- - rw-r--r-- 55 aux7704.v
- - rwxr-xr-x 107 bug_14550.sh
- - rw-r--r-- 121 bug_7393.v
- - rwxr-xr-x 683 changelog.sh
- - rwxr-xr-x 1,208 coq_environment.sh
- - rwxr-xr-x 538 coq_makefile_destination_of.sh
- - rw-r--r-- 21 coqc_cmdline.v
- - rwxr-xr-x 244 coqc_dash_o.sh
- - rwxr-xr-x 731 coqc_dash_vok.sh
- - rwxr-xr-x 162 coqdep-require-filter-categories.sh
- - rwxr-xr-x 166 coqtop_print-mod-uid.sh
- - rwxr-xr-x 228 deps-checksum.sh
- - rwxr-xr-x 862 deps-order-distinct-root.sh
- - rwxr-xr-x 847 deps-order-from.sh
- - rwxr-xr-x 1,155 deps-order-subdir1-file.sh
- - rwxr-xr-x 1,326 deps-order-subdir2-file.sh
- - rwxr-xr-x 1,248 deps-order-subdir3-file.sh
- - rwxr-xr-x 788 deps-order.sh
- - rwxr-xr-x 471 deps-utf8.sh
- - rwxr-xr-x 146 exitstatus.sh
- - rwxr-xr-x 1,141 external-deps.sh
- - rwxr-xr-x 673 non-marshalable-state.sh
- - rwxr-xr-x 253 poly-capture-global-univs.sh
- - rwxr-xr-x 382 print-assumptions-vok.sh
- - rwxr-xr-x 462 printers.sh
- - rwxr-xr-x 166 quick-include.sh
- - rwxr-xr-x 556 quotation_token.sh
- - rw-r--r-- 102 redirect_printing.out
- - rwxr-xr-x 105 redirect_printing.sh
- - rw-r--r-- 67 redirect_printing.v
- - rwxr-xr-x 247 side-eff-leak-univs.sh
- - rwxr-xr-x 457 universes.sh
- - rwxr-xr-x 719 vio_checking.sh
- - rw-r--r-- 131 vio_checking.v
- - rw-r--r-- 123 vio_checking_bad.v
- - rwxr-xr-x 126 votour.sh