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
*
Add oUnit dependency
Benjamin Barenblat
2019-02-05
*
Disable ssrmatching and ssreflect
Benjamin Barenblat
2019-02-05
*
Update packaging for Emacs mode deletion
Benjamin Barenblat
2019-02-05
*
Refresh patches
Benjamin Barenblat
2019-02-05
*
Stop numbering patches
Benjamin Barenblat
2019-02-05
*
Update debian/copyright
Benjamin Barenblat
2019-02-05
*
Begin packaging 8.9.0
Benjamin Barenblat
2019-02-05
*
Updated version 8.9.0 from 'upstream/8.9.0'
Benjamin Barenblat
2019-02-02
|
\
|
*
Imported Upstream version 8.9.0
upstream/8.9.0
upstream
Benjamin Barenblat
2019-02-02
*
|
Prepare gbp to import 8.9.0
Benjamin Barenblat
2019-02-02
*
|
Prepare to import ssrmatching in 8.9.0
Benjamin Barenblat
2019-02-02
*
|
Correct environment variable settings when running tests
Benjamin Barenblat
2019-01-17
*
|
Restore ssrmatching and its reverse dependencies
Benjamin Barenblat
2019-01-17
*
|
Don’t build upstream’s CI on Salsa
Benjamin Barenblat
2019-01-17
*
|
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
[next]