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
Commit message (
Expand
)
Author
Age
*
Bump ABI
Stephane Glondu
2014-07-27
*
New upstream release
Stephane Glondu
2014-07-27
*
Update changelog and prepare upload to unstable
debian/8.4pl3dfsg-1
Stephane Glondu
2014-01-19
*
Update README.Debian (Closes: #680248)
Stephane Glondu
2014-01-19
*
Update ABI
Stephane Glondu
2014-01-19
*
New upstream release
Stephane Glondu
2014-01-19
*
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
*
Disable micromega tests on Hurd
Stephane Glondu
2013-11-22
*
Refresh patches
Stephane Glondu
2013-11-22
*
Update changelog and prepare upload to experimental
debian/8.4pl2dfsg-2
Stephane Glondu
2013-07-26
*
Update Vcs-*
Stephane Glondu
2013-07-26
*
Compile with OCaml >= 4
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
|
\
|
*
Update ABI
Stephane Glondu
2013-05-08
|
*
New upstream release
Stephane Glondu
2013-05-08
|
*
New debian/watch file by Bart Martens
Stephane Glondu
2013-05-08
|
*
Update changelog and prepare upload to experimental
debian/8.4pl1dfsg-1
Stephane Glondu
2012-12-29
|
*
Add ocaml-findlib to Build-Depends...
Stephane Glondu
2012-12-29
|
*
Update ABI
Stephane Glondu
2012-12-29
|
*
Refresh patches
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
|
*
Upstream bugfix: Fix use of $(HASNATDYNLINK) in coq_makefile output
Stephane Glondu
2012-09-22
|
*
Prepare upload to experimental
debian/8.4dfsg-1
Stephane Glondu
2012-08-20
|
*
Update ABI
Stephane Glondu
2012-08-20
|
*
New upstream release
Stephane Glondu
2012-08-20
|
*
Use experimental branches
Stephane Glondu
2012-08-20
|
*
Use filter-pristine-tar and change versioning scheme
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
|
*
Dp plugin has been dropped
Stephane Glondu
2012-06-05
|
*
Update ABI
Stephane Glondu
2012-06-04
|
*
Refresh patches
Stephane Glondu
2012-06-04
|
*
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
*
|
Bump Standards-Version to 3.9.3
Stephane Glondu
2012-03-27
*
|
proofgeneral-coq has been dropped in favour of proofgeneral
Stephane Glondu
2012-03-27
*
|
Call dh_install with --fail-missing
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
|
*
Disable a test that uses too much memory
Stephane Glondu
2012-01-15
|
*
proofgeneral-coq has been dropped in favour of proofgeneral
Stephane Glondu
2012-01-14
|
*
Update changelog and prepare upload to experimental
debian/8.4_beta+dfsg-2
Stephane Glondu
2012-01-14
|
*
Fix an ordering issue that was causing a test to fail in bytecode
Stephane Glondu
2012-01-14
|
*
Call dh_install with --fail-missing
Stephane Glondu
2012-01-14
|
*
Fix typo (shame...)
Stephane Glondu
2012-01-13
[next]