-
a4c7f8bd
by Enrico Tassi
at 2016-12-27T15:53:30Z
Imported Upstream version 8.6
-
5a38d3c4
by Benjamin Barenblat
at 2018-12-24T18:25:38Z
Update debian/watch for GitHub switch
The Coq developers now distribute Coq through GitHub rather than via a
direct download from INRIA. Update debian/watch to point to GitHub.
Tweak the version regex slightly to account for Coq using capital V in
their version numbers (e.g., V8.7.2). Also tweak the regex to ignore
any release with a + in it; those releases are preproduction releases.
-
d7d80c5b
by Benjamin Barenblat
at 2018-12-29T19:30:26Z
Update and firm up excluded files list
Coq has introduced many new files in the last couple of years,
including several that are not DFSG-free. Rebuild and document the list
of files to be excluded from git-buildpackage imports.
Additionally, delete the purify_tarball script, as it’s been replaced
with the import filter.
-
9043add6
by Benjamin Barenblat
at 2018-12-29T19:31:27Z
Imported Upstream version 8.8.2
-
2708a015
by Benjamin Barenblat
at 2018-12-29T19:31:32Z
Updated version 8.8.2 from 'upstream/8.8.2'
with Debian dir a16bcf46abacaf1a684eda04f02555c984bf540d
-
2ae19ac8
by Benjamin Barenblat
at 2018-12-29T19:32:47Z
Begin packaging 8.8.2
-
7ae84ad5
by Benjamin Barenblat
at 2018-12-29T19:32:49Z
Update to Debhelper 10
-
04ccbe1a
by Benjamin Barenblat
at 2019-01-03T23:23:42Z
Update standards version
-
a150c4bb
by Benjamin Barenblat
at 2019-01-03T23:23:45Z
debian/control: Update Git-* URLs for Salsa migration
-
1729cf9d
by Benjamin Barenblat
at 2019-01-03T23:24:14Z
Stop distributing CoqIDE
CoqIDE currently requires gtksourceview2, which has been removed from
Debian (see https://bugs.debian.org/885677). Upstream has an active
pull request to update to gtksourceview3
(https://github.com/coq/coq/pull/9279), and it looks like Debian may
ship gtksourceview2 with buster anyway, so this is likely to be a
temporary change.
-
a40ddd41
by Benjamin Barenblat
at 2019-01-03T23:24:20Z
debian/control: Update build dependencies
https://github.com/coq/coq/commit/6b4a57051a470436b50d53e7395ec44b52e2dc7e
requires rsync to collect test logs. This only really makes a
difference in Coq’s CI environment, but it’s simpler to just let it do
its thing than it is to patch the behavior out.
-
6400bafe
by Benjamin Barenblat
at 2019-01-03T23:24:26Z
debian/copyright: Audit and update
-
f7be582a
by Benjamin Barenblat
at 2019-01-03T23:24:28Z
Install upstream’s CHANGES
-
8c09d8af
by Benjamin Barenblat
at 2019-01-03T23:24:30Z
Refresh patches
Remove 0002-Remove-test-4366-too-picky-on-the-timeout.patch, since
upstream has increased the timeout.
-
4181269f
by Benjamin Barenblat
at 2019-01-03T23:24:34Z
Disable ssrmatching
ssrmatching has two files licensed under CeCILL-B, which I believe is a
nonfree license. d7d80c5bea564b7cb0eadc33e9ee38c9d9de1cd8 removed those
files from the source package; this commit disables the affected plugin
in the build system.
-
a54522df
by Benjamin Barenblat
at 2019-01-03T23:24:36Z
debian/rules: Bump Coq version
-
2ab1f145
by Benjamin Barenblat
at 2019-01-03T23:24:37Z
debian/rules: Stop configuring with `-debug`
https://github.com/coq/coq/commit/bdc74cd1b945b69f81264cb6df8eb793c0c6817f
enabled debugging by default, and the flag’s since been deleted. Stop
passing it.
-
e23d443a
by Benjamin Barenblat
at 2019-01-03T23:24:39Z
Disable tests which require `-coqlib` to be set
A number of tests (mostly for coq_makefile) assume that Coq is
installed when the test runs. This isn't true in an sbuild environment,
though, so disable those tests.
-
a946e995
by Benjamin Barenblat
at 2019-01-03T23:24:41Z
Explicitly build and install OCaml bytecode files
Bytecode is no longer built by default, but it’s still essential on
Debian platforms where OCaml has no native compiler. Run `make byte`
and `make install-byte` to install bytecode.
In the future, we may want to separate bytecode binaries and libraries
into their own packages so users on platforms with native support don’t
have to spend disk space on bytecode. For now, though, continue
bundling native code and bytecode into the same package.
-
e657698c
by Benjamin Barenblat
at 2019-01-03T23:24:43Z
Update coqdoc.sty installation path
https://github.com/coq/coq/commit/5b506165097047aa8b6b431db9f2cbc8dbf6c3de
corrected the installation path in upstream’s build process.
-
4b4a73db
by Benjamin Barenblat
at 2019-01-03T23:24:44Z
Don’t try to install coqmktop
Upstream deprecated it in favor of ocamlfind in
https://github.com/coq/coq/commit/598e3ae4a8eb8d9bce316e13d71ee48d9ba1a01f.
-
6fabd638
by Benjamin Barenblat
at 2019-01-03T23:24:59Z
Update libcoq-ocaml{,-dev} install list
-
3a01cbe3
by Benjamin Barenblat
at 2019-01-03T23:25:04Z
Don't run testsuite under nocheck build profile
-
b1656fe6
by Benjamin Barenblat
at 2019-01-03T23:25:06Z
Correct spelling errors
-
1a128e1d
by Benjamin Barenblat
at 2019-01-03T23:25:07Z
Package coq_makefile’s new Python dependency
-
2ea9e757
by Benjamin Barenblat
at 2019-01-03T23:25:08Z
Ignore the .pc directory when doing a build
-
11d2b496
by Benjamin Barenblat
at 2019-01-07T04:07:29Z
Release 8.8.2-1 for unstable