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
*
fix FTBFS disabling some tests
debian/8.6-2
Enrico Tassi
2016-12-28
*
Coq 8.6
debian/8.6-1
Enrico Tassi
2016-12-28
*
fix FTBFS on slow architectures by disabling 4429
debian/8.5-2
Enrico Tassi
2016-01-28
*
8.5
Enrico Tassi
2016-01-26
*
fix options passed to configure on non intel architectures
debian/8.5_beta3+dfsg-2
Enrico Tassi
2015-11-14
*
set version to beta3 in debian/rules
debian/8.5_beta3+dfsg-1
Enrico Tassi
2015-11-14
*
beta3
Enrico Tassi
2015-11-13
*
enable make test-suite at build time
debian/8.5_beta2+dfsg-2
Enrico Tassi
2015-07-20
*
disable native compiler on non-mainstream arches
Enrico Tassi
2015-07-20
*
fix build deps
debian/8.5_beta2+dfsg-1
Enrico Tassi
2015-07-16
*
more overrides
Enrico Tassi
2015-07-15
*
beta2
Enrico Tassi
2015-07-15
*
Remove unneeded comment
Enrico Tassi
2015-07-15
*
update changelog
Enrico Tassi
2015-07-15
*
override hardening-no-relro for native compute cmxs files
Enrico Tassi
2015-07-15
*
.cma files are not executables
Enrico Tassi
2015-07-15
*
make bin-nmuable
Enrico Tassi
2015-07-15
*
Packaging 8.5beta1
Enrico Tassi
2015-07-14
*
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
*
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
[next]