index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
debian
Mode
Name
Size
-rw-r--r--
README.Debian
1687
log
plain
-rw-r--r--
README.source
1568
log
plain
-rw-r--r--
TODO.Debian
164
log
plain
-rw-r--r--
changelog
16408
log
plain
-rw-r--r--
clean
8
log
plain
-rw-r--r--
compat
2
log
plain
-rw-r--r--
control
3360
log
plain
-rw-r--r--
copyright
1958
log
plain
-rw-r--r--
coq-theories.dirs
45
log
plain
-rw-r--r--
coq-theories.doc-base
503
log
plain
-rw-r--r--
coq-theories.install.in
32
log
plain
-rw-r--r--
coq-theories.links
64
log
plain
-rw-r--r--
coq.dirs.in
140
log
plain
-rw-r--r--
coq.emacsen-install
1227
log
plain
-rw-r--r--
coq.emacsen-remove
453
log
plain
-rw-r--r--
coq.emacsen-startup
853
log
plain
-rw-r--r--
coq.install.in
802
log
plain
-rw-r--r--
coq.links.in
156
log
plain
-rw-r--r--
coq.menu
154
log
plain
-rw-r--r--
coq.xpm
1457
log
plain
-rw-r--r--
coqide.1
2622
log
plain
-rw-r--r--
coqide.desktop
198
log
plain
-rw-r--r--
coqide.dirs
97
log
plain
-rw-r--r--
coqide.docs
8
log
plain
-rw-r--r--
coqide.install
118
log
plain
-rw-r--r--
coqide.links.in
130
log
plain
-rw-r--r--
coqide.menu
162
log
plain
-rw-r--r--
docs
15
log
plain
-rw-r--r--
gbp.conf
30
log
plain
-rw-r--r--
libcoq-ocaml-dev.install.in
80
log
plain
d---------
patches
34
log
plain
-rwxr-xr-x
purify_tarball
534
log
plain
-rwxr-xr-x
rules
2796
log
plain
-rw-r--r--
watch
155
log
plain