Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: d76e2b12 by Julien Puydt at 2025-10-09T20:50:31+02:00 Try to re-enable non-native compilation - we'll see if it flies! - - - - - 1 changed file: - debian/control Changes: ===================================== debian/control ===================================== @@ -15,7 +15,6 @@ Build-Depends: dh-python, ocaml-dune, ocaml, - ocaml-native-compilers, ocaml-findlib (>= 1.8.0), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev, View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/d76e2b1240b77becd23b9d3bf93988a3cf516fbc -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/d76e2b1240b77becd23b9d3bf93988a3cf516fbc You're receiving this email because of your account on salsa.debian.org.
