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

d .. (parent)
d d rwxr-xr-x 43 7595
d d rwxr-xr-x 120 deps
d d rwxr-xr-x 31 exitstatus
d d rwxr-xr-x 65 poly-capture-global-univs
d d rwxr-xr-x 32 universes
- - rwxr-xr-x 258 4722.sh
- - rwxr-xr-x 99 7595.sh
- - rwxr-xr-x 94 7704.sh
- - rw-r--r-- 56 aux7704.v
- - rwxr-xr-x 241 coqc_dash_o.sh
- - rw-r--r-- 21 coqc_dash_o.v
- - rwxr-xr-x 250 deps-checksum.sh
- - rwxr-xr-x 814 deps-order.sh
- - rwxr-xr-x 493 deps-utf8.sh
- - rwxr-xr-x 276 exitstatus.sh
- - rwxr-xr-x 253 poly-capture-global-univs.sh
- - rwxr-xr-x 457 universes.sh