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
/
control
Commit message (
Expand
)
Author
Age
*
Tighten Build-Depends to match upstream’s INSTALL
Benjamin Barenblat
2019-02-05
*
Remove references to ocaml-best-compilers package
Benjamin Barenblat
2019-02-05
*
Add oUnit dependency
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
*
Don’t try to install coqmktop
Benjamin Barenblat
2019-01-03
*
debian/control: Update build dependencies
Benjamin Barenblat
2019-01-03
*
Stop distributing CoqIDE
Benjamin Barenblat
2019-01-03
*
debian/control: Update Git-* URLs for Salsa migration
Benjamin Barenblat
2019-01-03
*
Update standards version
Benjamin Barenblat
2019-01-03
*
Update to Debhelper 10
Benjamin Barenblat
2018-12-29
*
Begin packaging 8.8.2
Benjamin Barenblat
2018-12-29
*
Update Vcs-*
Stephane Glondu
2017-09-26
*
fix ocamlfind package name
debian/8.6-4
Enrico Tassi
2016-12-30
*
depend on ocamlfind
Enrico Tassi
2016-12-29
*
fix build deps
debian/8.5_beta2+dfsg-1
Enrico Tassi
2015-07-16
*
make bin-nmuable
Enrico Tassi
2015-07-15
*
Packaging 8.5beta1
Enrico Tassi
2015-07-14
*
Bump debhelper compat level to 9
Stephane Glondu
2014-07-27
*
Bump Standards-Version to 3.9.5
Stephane Glondu
2014-07-27
*
Update Vcs-*
Stephane Glondu
2013-07-26
*
Compile with OCaml >= 4
Stephane Glondu
2013-07-26
*
Add ocaml-findlib to Build-Depends...
Stephane Glondu
2012-12-29
*
proofgeneral-coq has been dropped in favour of proofgeneral
Stephane Glondu
2012-01-14
*
Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
Stephane Glondu
2011-11-12
*
Bump Standards-Version to 3.9.2 (no changes)
Stephane Glondu
2011-11-02
*
Merge sid branch
Stephane Glondu
2011-02-26
|
\
|
*
Update changelog and prepare upload to unstable
debian/8.2.pl2+dfsg-2
Stephane Glondu
2011-02-21
*
|
Bump Standards-Version to 3.9.1 (no changes)
Stephane Glondu
2010-10-16
*
|
Install plugins in (new) binary package libcoq-ocaml
Stephane Glondu
2010-07-21
|
/
*
Fix a few warnings
Stephane Glondu
2010-07-02
*
Remove Stefano and Remi from Uploaders
Stephane Glondu
2010-07-01
*
Bump SV to 3.9.0
Stephane Glondu
2010-07-01
*
Use dh with overrides
Stephane Glondu
2010-07-01
*
Switch source package format to 3.0 (quilt)
Stephane Glondu
2010-07-01
*
Bump Standards-Version to 3.8.4 (no changes)
Stephane Glondu
2010-02-10
*
Switch to dh-ocaml 0.9
Stephane Glondu
2009-12-03
*
debian/control: fix typo in long description (Closes: #557458)
Stefano Zacchiroli
2009-11-22
*
Various updates, prepare upload to unstable
debian/8.2.pl1+dfsg-3
Stephane Glondu
2009-08-29
*
Prepare upload to unstable
debian/8.2-1+dfsg-2
Stephane Glondu
2009-07-01
*
Suggests readline-editor instead of cle
Stephane Glondu
2009-04-27
*
Remove upstream url from long descriptions since we already use the Homepage ...
Samuel Mimram
2009-04-14
*
Add versioned dependencies
Stephane Glondu
2009-02-27
*
Add dependency on liblablgtk2-ocaml
Stephane Glondu
2009-02-27
*
Add missing Conflicts and Replaces (Closes: #517107)
Stephane Glondu
2009-02-26
*
Remove dependency on dpatch
Stephane Glondu
2009-02-20
*
Use variables from dh-ocaml in rules.
Samuel Mimram
2009-02-19
*
Remove experimental dependencies and restore ocaml-best-compiler
Stephane Glondu
2009-02-19
*
Explicit more dependencies for autobuilders
debian/8.2.rc2+dfsg-3
Stephane Glondu
2009-02-08
*
Add more versioned dependencies to please buildds
debian/8.2.rc2+dfsg-2
Stephane Glondu
2009-02-08
[next]