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
/
changelog
Commit message (
Expand
)
Author
Age
*
Prepare upload to unstable
debian/8.4pl2dfsg-4
Stephane Glondu
2013-12-03
*
Update changelog and prepare upload to experimental
debian/8.4pl2dfsg-3
Stephane Glondu
2013-11-22
*
Update changelog and prepare upload to experimental
debian/8.4pl2dfsg-2
Stephane Glondu
2013-07-26
*
Prepare upload to unstable
debian/8.4pl2dfsg-1
Stephane Glondu
2013-05-08
*
Merge branch 'experimental/master'
Stephane Glondu
2013-05-08
|
\
|
*
New upstream release
Stephane Glondu
2013-05-08
|
*
Update changelog and prepare upload to experimental
debian/8.4pl1dfsg-1
Stephane Glondu
2012-12-29
|
*
New upstream release
Stephane Glondu
2012-12-29
|
*
Update changelog and prepare upload to experimental
debian/8.4dfsg-2
Stephane Glondu
2012-09-22
|
*
Prepare upload to experimental
debian/8.4dfsg-1
Stephane Glondu
2012-08-20
|
*
New upstream release
Stephane Glondu
2012-08-20
*
|
Recompile with camlp5 6.06 (no changes)
Stephane Glondu
2012-06-06
|
*
Prepare upload to experimental
debian/8.4_gamma0+really8.4beta2+dfsg-1
Stephane Glondu
2012-06-05
|
*
New upstream beta release
Stephane Glondu
2012-06-04
|
*
Recompile with camlp5 6.05 (no changes)
debian/8.4_beta+dfsg-4
Stephane Glondu
2012-04-06
*
|
Update changelog and prepare upload to unstable
debian/8.3.pl4+dfsg-1
Stephane Glondu
2012-03-27
*
|
New upstream release
Stephane Glondu
2012-03-27
*
|
Recompile with camlp5 6.04 (no changes)
debian/8.3.pl3+dfsg-2
Stephane Glondu
2012-03-04
|
*
Update changelog and prepare upload to experimental
debian/8.4_beta+dfsg-3
Stephane Glondu
2012-01-15
|
*
Update changelog and prepare upload to experimental
debian/8.4_beta+dfsg-2
Stephane Glondu
2012-01-14
|
*
Prepare upload to experimental
debian/8.4_beta+dfsg-1
Stephane Glondu
2012-01-12
|
*
New upstream beta release
Stephane Glondu
2012-01-12
|
/
*
Update changelog and prepare upload to unstable
debian/8.3.pl3+dfsg-1
Stephane Glondu
2011-12-25
*
New upstream release
Stephane Glondu
2011-12-25
*
Prepare upload to unstable
debian/8.3.pl2+dfsg-2
Stephane Glondu
2011-11-02
*
Update changelog and prepare upload to unstable
debian/8.3.pl2+dfsg-1
Stephane Glondu
2011-04-19
*
New upstream release
Stephane Glondu
2011-04-19
*
Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
debian/8.3.pl1+dfsg-2
Stephane Glondu
2011-02-26
*
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
*
|
Prepare upload to experimental
debian/8.3.pl1+dfsg-1
Stephane Glondu
2010-12-24
*
|
New upstream release, update changelog
Stephane Glondu
2010-12-24
*
|
NOT RELEASED YET
Stephane Glondu
2010-10-19
*
|
Update changelog and prepare upload to experimental
debian/8.3+dfsg-1
Stephane Glondu
2010-10-16
*
|
New upstream release
Stephane Glondu
2010-10-14
*
|
Prepare upload to experimental
debian/8.3.rc1+dfsg-1
Stephane Glondu
2010-08-10
*
|
New upstream release candidate
Stephane Glondu
2010-08-10
*
|
Update changelog and prepare upload to experimental
debian/8.3.beta0+13323-1
Stephane Glondu
2010-07-24
*
|
New upstream snapshot
Stephane Glondu
2010-07-24
*
|
Update changelog and prepare upload to experimental
debian/8.3.beta0+13298-1
Stephane Glondu
2010-07-21
*
|
New upstream snapshot
Stephane Glondu
2010-07-21
|
/
*
Update changelog and prepare upload to unstable
debian/8.2.pl2+dfsg-1
Stephane Glondu
2010-07-02
*
New upstream release
Stephane Glondu
2010-07-01
*
Add 0003-Fix-build-with-OCaml-3.12.patch
Stephane Glondu
2010-06-28
*
Add Disable-micromega-tests.patch, prepare upload to unstable
debian/8.2.pl1+dfsg-6
Stephane Glondu
2010-02-22
*
Update changelog and prepare upload to unstable
debian/8.2.pl1+dfsg-5
Stephane Glondu
2010-02-10
*
NOT RELEASED YET
Stephane Glondu
2010-02-10
*
Prepare upload to unstable
debian/8.2.pl1+dfsg-4
Stephane Glondu
2009-12-03
*
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
[next]