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: 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 101 11170.sh
- - rwxr-xr-x 95 13330.sh
- - rwxr-xr-x 248 4722.sh
- - rwxr-xr-x 42 7393.sh
- - rwxr-xr-x 99 7595.sh
- - rwxr-xr-x 75 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 675 changelog.sh
- - rwxr-xr-x 1,200 coq_environment.sh
- - rwxr-xr-x 530 coq_makefile_destination_of.sh
- - rw-r--r-- 21 coqc_cmdline.v
- - rwxr-xr-x 236 coqc_dash_o.sh
- - rwxr-xr-x 731 coqc_dash_vok.sh
- - rwxr-xr-x 162 coqdep-require-filter-categories.sh
- - rwxr-xr-x 158 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 665 non-marshalable-state.sh
- - rwxr-xr-x 245 poly-capture-global-univs.sh
- - rwxr-xr-x 382 print-assumptions-vok.sh
- - rwxr-xr-x 166 quick-include.sh
- - rwxr-xr-x 548 quotation_token.sh
- - rw-r--r-- 102 redirect_printing.out
- - rwxr-xr-x 97 redirect_printing.sh
- - rw-r--r-- 67 redirect_printing.v
- - rwxr-xr-x 239 side-eff-leak-univs.sh
- - rwxr-xr-x 457 universes.sh
- - rwxr-xr-x 711 vio_checking.sh
- - rw-r--r-- 131 vio_checking.v
- - rw-r--r-- 123 vio_checking_bad.v
- - rwxr-xr-x 126 votour.sh