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: coq-makefile

d .. (parent)
d d rwxr-xr-x 32 arg
d d rwxr-xr-x 49 camldep
d d rwxr-xr-x 32 coqdoc1
d d rwxr-xr-x 32 coqdoc2
d d rwxr-xr-x 58 emptyprefix
d d rwxr-xr-x 74 extend-subdirs
d d rwxr-xr-x 75 findlib-package
d d rwxr-xr-x 75 findlib-package-unpacked
d d rwxr-xr-x 27 gen-v-during-make
d d rwxr-xr-x 32 latex1
d d rwxr-xr-x 84 local-late-extension
d d rwxr-xr-x 32 merlin1
d d rwxr-xr-x 27 missing-included
d d rwxr-xr-x 27 missing-install
d d rwxr-xr-x 27 missing-required
d d rwxr-xr-x 32 mlpack1
d d rwxr-xr-x 32 mlpack2
d d rwxr-xr-x 32 multiroot
d d rwxr-xr-x 49 native1
d d rwxr-xr-x 49 native2
d d rwxr-xr-x 49 native3
d d rwxr-xr-x 49 native4
d d rwxr-xr-x 32 only
d d rwxr-xr-x 32 plugin1
d d rwxr-xr-x 32 plugin2
d d rwxr-xr-x 32 plugin3
d d rwxr-xr-x 32 quick2vo
d d rwxr-xr-x 84 template
d d rwxr-xr-x 4,096 timing
d d rwxr-xr-x 32 uninstall1
d d rwxr-xr-x 32 uninstall2
d d rwxr-xr-x 32 validate1
d d rwxr-xr-x 32 vio2vo
d d rwxr-xr-x 91 vos