package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; 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 4,096 bench-render
d d rwxr-xr-x 32 bug_14550
d d rwxr-xr-x 74 comment-lexing
d d rwxr-xr-x 4,096 coqdep-require-filter-categories
d d rwxr-xr-x 76 coqdoc-options
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 27 qed-time
d d rwxr-xr-x 95 quotation_token
d d rwxr-xr-x 65 side-eff-leak-univs
d d rwxr-xr-x 133 tc_declaration_observer
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-- 996 PStringExtraction.out
- - rwxr-xr-x 220 PStringExtraction.sh
- - rw-r--r-- 995 PStringExtraction.v
- - rw-r--r-- 308 aux11170.v
- - rw-r--r-- 55 aux7704.v
- - rwxr-xr-x 639 bench-render.sh
- - rwxr-xr-x 107 bug_14550.sh
- - rw-r--r-- 121 bug_7393.v
- - rwxr-xr-x 675 changelog.sh
- - rwxr-xr-x 288 comment-lexing.sh
- - rwxr-xr-x 1,413 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 533 coqc_dash_vok.sh
- - rwxr-xr-x 162 coqdep-require-filter-categories.sh
- - rwxr-xr-x 229 coqdoc-options.sh
- - rwxr-xr-x 158 coqtop_print-mod-uid.sh
- - rwxr-xr-x 228 deps-checksum.sh
- - rwxr-xr-x 854 deps-order-distinct-root.sh
- - rwxr-xr-x 832 deps-order-from.sh
- - rwxr-xr-x 1,142 deps-order-subdir1-file.sh
- - rwxr-xr-x 1,313 deps-order-subdir2-file.sh
- - rwxr-xr-x 1,235 deps-order-subdir3-file.sh
- - rwxr-xr-x 768 deps-order.sh
- - rwxr-xr-x 431 deps-utf8.sh
- - rwxr-xr-x 146 exitstatus.sh
- - rwxr-xr-x 1,317 external-deps.sh
- - rwxr-xr-x 743 non-marshalable-state.sh
- - rwxr-xr-x 245 poly-capture-global-univs.sh
- - rwxr-xr-x 382 print-assumptions-vok.sh
- - rwxr-xr-x 742 qed-time.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 215 tc_declaration_observer.sh
- - rwxr-xr-x 457 universes.sh
- - rwxr-xr-x 126 votour.sh