Benjamin Barenblat pushed to branch master at Debian OCaml Maintainers / coq
Commits: 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 - - - - - 21 changed files: - + .bintray.json - − .gitattributes - + .github/ISSUE_TEMPLATE.md - + .github/PULL_REQUEST_TEMPLATE.md - + .gitlab-ci.yml - − .mailmap - .merlin - + .travis.yml - CHANGES - − COMPATIBILITY - + CONTRIBUTING.md - − COPYRIGHT - CREDITS - INSTALL - INSTALL.doc - INSTALL.ide - META.coq - Makefile - Makefile.build - Makefile.checker - + Makefile.ci The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/compare/45d7383f95ce0528d756f712635df90456ab97dc...11d2b496980a65ac1059b72275480d572634d13f -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/compare/45d7383f95ce0528d756f712635df90456ab97dc...11d2b496980a65ac1059b72275480d572634d13f You're receiving this email because of your account on salsa.debian.org.