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
*
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
*
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
[next]