Ralf Treinen pushed to branch master at Debian OCaml Maintainers / coq
Commits: 96b66411 by Ralf Treinen at 2019-11-16T17:09:20+01:00 New upstream version 8.10.1 - - - - - 05ddac2b by Ralf Treinen at 2019-12-01T20:13:47+01:00 New upstream version 8.10.2 - - - - - 640258a9 by Ralf Treinen at 2020-01-16T21:24:53+01:00 New upstream version 8.11~beta1 - - - - - 64e07de4 by Ralf Treinen at 2020-01-31T11:40:56+01:00 New upstream version 8.11.0 - - - - - da1331a1 by Ralf Treinen at 2020-04-10T13:45:43+02:00 New upstream version 8.11.1~pre1 - - - - - aa7e13f1 by Ralf Treinen at 2020-04-10T13:56:39+02:00 Update upstream source from tag 'upstream/8.11.1_pre1' Update to upstream version '8.11.1~pre1' with Debian dir 75b494517454f7a06a9a5a0595f96046f2e57a6e - - - - - 24cfe5f5 by Ralf Treinen at 2020-04-10T14:00:04+02:00 drop patch votour-linking - - - - - 47f01d6f by Ralf Treinen at 2020-04-10T14:06:11+02:00 drop patch restore_g_ssrmatching.mli, refresh some other patches - - - - - 96857487 by Ralf Treinen at 2020-04-10T15:27:00+02:00 bump COQ+VESION - - - - - cf33f7a4 by Ralf Treinen at 2020-04-10T16:06:46+02:00 /usr/bin/doc_grammar no longer installed - - - - - 4f687783 by Ralf Treinen at 2020-04-11T11:03:29+02:00 dropped build-dependency on hevea - - - - - 10e914cc by Ralf Treinen at 2020-04-11T12:21:51+02:00 drop patch verbose-build.patch - - - - - df269a03 by Ralf Treinen at 2020-04-11T13:10:31+02:00 build-dependency texlive-latex-extrs => tex-common - - - - - 9fabeafa by Ralf Treinen at 2020-04-11T18:26:50+02:00 add patch to fix test failures on bc archs - - - - - a75a9dba by Ralf Treinen at 2020-04-16T18:37:02+02:00 disable test coq-makefile/findlib-package-unpacked as it fails on bytecode - - - - - e2b86272 by Ralf Treinen at 2020-08-21T12:02:32+02:00 New upstream version 8.12.0 - - - - - 4b96ac5e by Ralf Treinen at 2020-08-21T13:00:39+02:00 Update upstream source from tag 'upstream/8.12.0' Update to upstream version '8.12.0' with Debian dir 38d75ba40041432880020e3defea932052bfd07e - - - - - 5a75100e by Ralf Treinen at 2020-08-21T13:05:46+02:00 refresh patch remove-tests-that-need-coqlib - - - - - 9f4c671d by Ralf Treinen at 2020-08-21T13:09:43+02:00 refresh patch avoid-usr-bin-env - - - - - 597f29a5 by Ralf Treinen at 2020-08-21T13:13:14+02:00 refresh patch python-scripts-libraries - - - - - 80350d2d by Ralf Treinen at 2020-08-21T13:18:15+02:00 refresh patch skip-dot-pc - - - - - 1644234a by Ralf Treinen at 2020-08-21T15:04:21+02:00 refresh patch testsuite-bytecode - - - - - ab538053 by Ralf Treinen at 2020-08-21T15:05:49+02:00 refresh patch remove-bytecode-failing-tests - - - - - 0500d2a8 by Ralf Treinen at 2020-08-21T15:05:49+02:00 update COQ_VERSION - - - - - 7764dd73 by Ralf Treinen at 2020-08-21T15:05:49+02:00 update versions of build-dependencies - - - - - ba892c22 by Ralf Treinen at 2020-08-21T15:50:18+02:00 update install files - - - - - 76abb185 by Ralf Treinen at 2020-08-21T17:22:06+02:00 DH compat level 12 - - - - - 4f4a31d3 by Ralf Treinen at 2020-08-21T20:23:49+02:00 DH compat level 13 - - - - - 13bf32a5 by Ralf Treinen at 2020-08-21T20:46:59+02:00 Rules-requires-Root=no - - - - - 78857dae by Ralf Treinen at 2020-09-02T08:40:55+02:00 disable test bugs/closed/bug_4544.v - - - - - 7feb79c6 by Ralf Treinen at 2020-09-06T10:02:06+02:00 patch header format - - - - - ae8430a9 by Ralf Treinen at 2020-09-09T21:18:44+02:00 upload to unstable - - - - - 22 changed files: - .github/CODEOWNERS - .gitlab-ci.yml - + .ocamlformat - CONTRIBUTING.md - − INSTALL - + INSTALL.md - META.coq.in - Makefile - Makefile.build - Makefile.checker - Makefile.ci - Makefile.common - Makefile.dev - Makefile.doc - Makefile.dune - Makefile.ide - Makefile.install - + Makefile.make - Makefile.vofiles - README.md - azure-pipelines.yml - checker/analyze.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/f69346b0fd9c951def2753b07667b9e0ba4988dc...ae8430a96e42cc1d2810db5848abbeb29ec9e064 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/f69346b0fd9c951def2753b07667b9e0ba4988dc...ae8430a96e42cc1d2810db5848abbeb29ec9e064 You're receiving this email because of your account on salsa.debian.org.
