Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: da1331a1 by Ralf Treinen at 2020-04-10T13:45:43+02:00 New upstream version 8.11.1~pre1 - - - - - e2b86272 by Ralf Treinen at 2020-08-21T12:02:32+02:00 New upstream version 8.12.0 - - - - - 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/64e07de4d1e82e505fb2ea1d9afb4bb50342b60a...e2b8627281992ceaa76b6a3d732c6f827df315f3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/64e07de4d1e82e505fb2ea1d9afb4bb50342b60a...e2b8627281992ceaa76b6a3d732c6f827df315f3 You're receiving this email because of your account on salsa.debian.org.
