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
1685
log
plain
-rw-r--r--
TODO.Debian
164
log
plain
-rw-r--r--
changelog
13854
log
plain
-rw-r--r--
compat
2
log
plain
-rw-r--r--
control
2603
log
plain
-rw-r--r--
copyright
1958
log
plain
-rw-r--r--
coq-interface.1
2434
log
plain
-rw-r--r--
coq-libs.dirs
41
log
plain
-rw-r--r--
coq-libs.doc-base
485
log
plain
-rw-r--r--
coq-libs.install
96
log
plain
-rw-r--r--
coq.dirs
65
log
plain
-rw-r--r--
coq.docs
11
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
851
log
plain
-rw-r--r--
coq.install
417
log
plain
-rw-r--r--
coq.menu
154
log
plain
-rw-r--r--
coq.xpm
1457
log
plain
-rw-r--r--
coq_makefile.1
1419
log
plain
-rw-r--r--
coqc.1
2766
log
plain
-rw-r--r--
coqide.1
2622
log
plain
-rw-r--r--
coqide.desktop
213
log
plain
-rw-r--r--
coqide.dirs
97
log
plain
-rw-r--r--
coqide.docs
19
log
plain
-rw-r--r--
coqide.install
95
log
plain
-rw-r--r--
coqide.menu
162
log
plain
-rw-r--r--
coqmktop.1
1185
log
plain
-rw-r--r--
coqtop.1
2442
log
plain
-rw-r--r--
docs
15
log
plain
d---------
patches
352
log
plain
-rwxr-xr-x
purify_tarball
497
log
plain
-rwxr-xr-x
rules
4096
log
plain
-rw-r--r--
svn-deblayout
172
log
plain
-rw-r--r--
watch
89
log
plain