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
*
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
*
Updated version 8.8.2 from 'upstream/8.8.2'
Benjamin Barenblat
2018-12-29
|
\
|
*
Imported Upstream version 8.8.2
upstream/8.8.2
Benjamin Barenblat
2018-12-29
*
|
Update and firm up excluded files list
Benjamin Barenblat
2018-12-29
*
|
Update debian/watch for GitHub switch
Benjamin Barenblat
2018-12-24
*
|
Update changelog and prepare upload to unstable
debian/8.6-5
Stephane Glondu
2017-09-26
*
|
Update Vcs-*
Stephane Glondu
2017-09-26
*
|
Remove menu files
Stephane Glondu
2017-09-26
*
|
Remove unused Lintian overrides
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 FTBFS on mips
debian/8.6-3
Enrico Tassi
2016-12-29
*
|
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
*
|
Imported Upstream version 8.6
Enrico Tassi
2016-12-27
|
*
Imported Upstream version 8.6
upstream/8.6
Enrico Tassi
2016-12-27
*
|
fix FTBFS on slow architectures by disabling 4429
debian/8.5-2
Enrico Tassi
2016-01-28
*
|
8.5
Enrico Tassi
2016-01-26
*
|
Merge tag 'upstream/8.5'
Enrico Tassi
2016-01-26
|
\
|
|
*
Imported Upstream version 8.5
upstream/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
*
|
Imported Upstream version 8.5~beta3+dfsg
Enrico Tassi
2015-11-13
|
\
|
|
*
Imported Upstream version 8.5~beta3+dfsg
upstream/8.5_beta3+dfsg
Enrico Tassi
2015-11-13
|
*
Imported Upstream version 8.5~beta3+dfsg
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
*
|
Merge tag 'upstream/8.5_beta2+dfsg' into test
Enrico Tassi
2015-07-15
|
\
|
|
*
Imported Upstream version 8.5~beta2+dfsg
upstream/8.5_beta2+dfsg
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
*
|
Merge tag 'upstream/8.5_beta1+dfsg'
Enrico Tassi
2015-01-25
|
\
|
|
*
Imported Upstream version 8.5~beta1+dfsg
upstream/8.5_beta1+dfsg
Enrico Tassi
2015-01-25
|
*
Imported Upstream version 8.5~beta1+dfsg
Enrico Tassi
2015-01-25
*
|
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
[next]