[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/coq][master] Try to re-enable non-native compilation - we'll see if it flies!

Title: GitLab

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:

Changes:

  • debian/control
    ... ... @@ -15,7 +15,6 @@ Build-Depends:
    15 15 
      dh-python,
    16 16 
      ocaml-dune,
    17 17 
      ocaml,
    18 
    - ocaml-native-compilers,
    19 18 
      ocaml-findlib (>= 1.8.0),
    20 19 
      libfindlib-ocaml-dev,
    21 20 
      liblablgtk3-ocaml-dev,

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help Notification message regarding https://salsa.debian.org/ocaml-team/coq/-/commit/d76e2b1240b77becd23b9d3bf93988a3cf516fbc at 1760035844

    Reply to: