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
/
coq.install.in
Commit message (
Expand
)
Author
Age
*
Package new coqpp utility
Benjamin Barenblat
2019-02-05
*
Don’t try to install gallina(1) (deleted by upstream)
Benjamin Barenblat
2019-02-05
*
Update to new toploop packaging
Benjamin Barenblat
2019-02-05
*
Update packaging for Emacs mode deletion
Benjamin Barenblat
2019-02-05
*
Package coq_makefile’s new Python dependency
Benjamin Barenblat
2019-01-03
*
Update coqdoc.sty installation path
Benjamin Barenblat
2019-01-03
*
Packaging 8.5beta1
Enrico Tassi
2015-07-14
*
Install plugins in (new) binary package libcoq-ocaml
Stephane Glondu
2010-07-21
*
Update packaging according to upstream changes
Stephane Glondu
2010-07-21
*
Use debhelper more thoroughly
Stephane Glondu
2010-07-01
*
Use variables from dh-ocaml in rules.
Samuel Mimram
2009-02-19
*
Do not install revision file
Stephane Glondu
2009-02-01
*
Simplify handling of dispatch to binary packages
Stephane Glondu
2009-02-01
*
Add new binary package libcoq-ocaml-dev
Stephane Glondu
2009-02-01
*
Use debhelper 7, simplify debian/rules
Stephane Glondu
2008-09-08