package info (click to toggle)
coq 8.6-4
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 26,884 kB
  • sloc: ml: 183,693; ansic: 1,858; lisp: 1,425; sh: 1,138; makefile: 713; xml: 24; sed: 2

Folder: debian

d .. (parent)
d d rwxr-xr-x 4,096 patches
d d rwxr-xr-x 27 source
- - rw-r--r-- 335 NEWS
- - rw-r--r-- 765 README.Debian
- - rw-r--r-- 1,786 README.source
- - rw-r--r-- 164 TODO.Debian
- - rw-r--r-- 27,541 changelog
- - rw-r--r-- 2 compat
- - rw-r--r-- 4,003 control
- - rw-r--r-- 790 copyright
- - rw-r--r-- 45 coq-theories.dirs
- - rw-r--r-- 488 coq-theories.doc-base
- - rw-r--r-- 76 coq-theories.install.in
- - rw-r--r-- 145 coq-theories.links
- - rw-r--r-- 32 coq-theories.lintian-overrides
- - rw-r--r-- 1,227 coq.emacsen-install
- - rw-r--r-- 453 coq.emacsen-remove
- - rw-r--r-- 853 coq.emacsen-startup
- - rw-r--r-- 700 coq.install.in
- - rw-r--r-- 66 coq.links.in
- - rw-r--r-- 154 coq.menu
- - rw-r--r-- 1,457 coq.xpm
- - rw-r--r-- 2,622 coqide.1
- - rw-r--r-- 198 coqide.desktop
- - rw-r--r-- 18 coqide.dirs
- - rw-r--r-- 242 coqide.install
- - rw-r--r-- 130 coqide.links.in
- - rw-r--r-- 162 coqide.menu
- - rw-r--r-- 284 coqvars.mk.in
- - rw-r--r-- 18 docs
- - rw-r--r-- 528 gbp.conf
- - rw-r--r-- 663 libcoq-ocaml-dev.install.in
- - rw-r--r-- 2,513 libcoq-ocaml.install.in
- - rw-r--r-- 33 libcoq-ocaml.lintian-overrides
- - rwxr-xr-x 779 purify_tarball
- - rwxr-xr-x 3,390 rules
- - rw-r--r-- 211 watch