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
9020
log
plain
-rw-r--r--
compat
2
log
plain
-rw-r--r--
control
3112
log
plain
-rw-r--r--
copyright
1949
log
plain
-rw-r--r--
coq-interface.1
2434
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
317
log
plain
-rw-r--r--
coq.menu
131
log
plain
-rw-r--r--
coq.xpm
1496
log
plain
-rw-r--r--
coq7-libs.install
63
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
120
log
plain
-rw-r--r--
coqide.menu
139
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
90
log
plain
-rwxr-xr-x
rules
3480
log
plain
-rw-r--r--
svn-deblayout
172
log
plain
-rw-r--r--
watch
89
log
plain