index
:
debian-coq
master
pristine-tar
upstream
Debian packaging for Coq
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Update changelog and prepare upload to unstable
debian/8.4pl4dfsg-3
Stephane Glondu
2015-10-22
*
Move initial.coq to coq-theories
Stephane Glondu
2015-10-22
*
Prepare upload to unstable
debian/8.4pl4dfsg-2
Stephane Glondu
2015-10-13
*
Fix compilation with OCaml 4.02
Stephane Glondu
2015-10-13
*
New sid/* branches
Stephane Glondu
2015-10-13
*
Prepare upload to unstable
debian/8.4pl4dfsg-1
Stephane Glondu
2014-07-27
*
Update changelog
Stephane Glondu
2014-07-27
*
Bump debhelper compat level to 9
Stephane Glondu
2014-07-27
*
Bump Standards-Version to 3.9.5
Stephane Glondu
2014-07-27
*
Switch debian/copyright to Format 1.0
Stephane Glondu
2014-07-27
*
Bump ABI
Stephane Glondu
2014-07-27
*
New upstream release
Stephane Glondu
2014-07-27
*
Merge tag 'upstream/8.4pl4dfsg'
Stephane Glondu
2014-07-27
|
\
|
*
Imported Upstream version 8.4pl4dfsg
upstream/8.4pl4dfsg
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
*
|
Merge tag 'upstream/8.4pl3dfsg'
Stephane Glondu
2014-01-19
|
\
|
|
*
Imported Upstream version 8.4pl3dfsg
upstream/8.4pl3dfsg
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 'upstream'
Stephane Glondu
2013-05-08
|
\
|
|
*
Merge branch 'experimental/upstream' into upstream
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
|
*
|
|
Merge tag 'upstream/8.4pl2dfsg' into experimental/master
Stephane Glondu
2013-05-08
|
|
\
\
\
|
|
|
|
/
|
|
|
/
|
|
|
*
|
Imported Upstream version 8.4pl2dfsg
upstream/8.4pl2dfsg
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
|
*
|
|
Merge tag 'upstream/8.4pl1dfsg' into experimental/master
Stephane Glondu
2012-12-29
|
|
\
|
|
|
|
*
|
Imported Upstream version 8.4pl1dfsg
upstream/8.4pl1dfsg
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
|
*
|
|
Merge tag 'upstream/8.4dfsg' into experimental/master
Stephane Glondu
2012-08-20
|
|
\
|
|
|
|
*
|
Imported Upstream version 8.4dfsg
upstream/8.4dfsg
Stephane Glondu
2012-08-20
[next]