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
*
Release 8.8.2-1 for unstable
debian/8.8.2-1
Benjamin Barenblat
2019-01-06
*
Ignore the .pc directory when doing a build
Benjamin Barenblat
2019-01-03
*
Package coq_makefile’s new Python dependency
Benjamin Barenblat
2019-01-03
*
Correct spelling errors
Benjamin Barenblat
2019-01-03
*
Don't run testsuite under nocheck build profile
Benjamin Barenblat
2019-01-03
*
Update libcoq-ocaml{,-dev} install list
Benjamin Barenblat
2019-01-03
*
Don’t try to install coqmktop
Benjamin Barenblat
2019-01-03
*
Update coqdoc.sty installation path
Benjamin Barenblat
2019-01-03
*
Explicitly build and install OCaml bytecode files
Benjamin Barenblat
2019-01-03
*
Disable tests which require `-coqlib` to be set
Benjamin Barenblat
2019-01-03
*
debian/rules: Stop configuring with `-debug`
Benjamin Barenblat
2019-01-03
*
debian/rules: Bump Coq version
Benjamin Barenblat
2019-01-03
*
Disable ssrmatching
Benjamin Barenblat
2019-01-03
*
Refresh patches
Benjamin Barenblat
2019-01-03
*
Install upstream’s CHANGES
Benjamin Barenblat
2019-01-03
*
debian/copyright: Audit and update
Benjamin Barenblat
2019-01-03
*
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
*
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
*
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
[next]