Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: d29957f2 by Julien Puydt at 2026-07-21T09:50:27+02:00 Fix the d/rules cleaning target (Closes: #1044637) - - - - - 901046b2 by Julien Puydt at 2026-07-21T10:03:52+02:00 Prepare for upload to unstable - - - - - 2 changed files: - debian/changelog - debian/rules Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +coq (9.2.0+dfsg-2) unstable; urgency=medium + + * Fix the d/rules cleaning target (Closes: #1044637). + + -- Julien Puydt <[email protected]> Tue, 21 Jul 2026 09:58:48 +0200 + coq (9.2.0+dfsg-1) experimental; urgency=medium * Fix non-native platform compilation ===================================== debian/rules ===================================== @@ -79,5 +79,5 @@ override_dh_fixperms: override_dh_auto_clean: make clean - rm -f config/Makefile config/coq_config.ml config/coq_config.py config/dune.c_flags + rm -f config/Makefile config/coq_byte_config.ml config/coq_config.ml config/coq_config.py config/dune.c_flags rm -f theories/dune user-contrib/Ltac2/dune View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/0bcf5fb62a0e9d5db3b24671b3133c8637a1f91b...901046b2e52788d08595f8430489b25cc6357eb0 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/compare/0bcf5fb62a0e9d5db3b24671b3133c8637a1f91b...901046b2e52788d08595f8430489b25cc6357eb0 You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help
