File: coq.install.in

package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • 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
file content (29 lines) | stat: -rw-r--r-- 982 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/usr/bin/dh-exec
usr/bin/coq*worker*
usr/bin/coqc*
usr/bin/coqdep*
usr/bin/coqdoc*
usr/bin/coq_makefile*
usr/bin/coqpp*
usr/bin/coq-tex*
usr/bin/coqtop*
usr/bin/coqwc*
usr/bin/coqworkmgr*
usr/lib/coq/plugins/micromega/csdpcert
usr/lib/coq/tools/CoqMakefile.in
usr/lib/coq/tools/TimeFileMaker.py
usr/lib/coq/tools/coqdoc/coqdoc.css
usr/lib/coq/tools/coqdoc/coqdoc.sty
usr/lib/coq/tools/make-both-single-timing-files.py => usr/lib/coq/tools/make-both-single-timing-files
usr/lib/coq/tools/make-both-time-files.py => usr/lib/coq/tools/make-both-time-files
usr/lib/coq/tools/make-one-time-file.py => usr/lib/coq/tools/make-one-time-file
usr/share/man/man1/coqc*
usr/share/man/man1/coqdep*
usr/share/man/man1/coqdoc*
usr/share/man/man1/coq_makefile*
usr/share/man/man1/coq-tex*
usr/share/man/man1/coqtop*
usr/share/man/man1/coqwc*
usr/share/texmf/tex/latex/misc/coqdoc.sty
debian/coq.xpm                          usr/share/pixmaps
debian/coqvars.mk                       usr/share/coq