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

[Git][ocaml-team/coq][master] Depend on ocaml instead of ocaml-nox

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq

Commits:

  • dfa18d17
    by Stephane Glondu at 2023-08-08T09:36:39+02:00 
    Depend on ocaml instead of ocaml-nox

1 changed file:

Changes:

  • debian/control
    ... ... @@ -16,7 +16,7 @@ Build-Depends:
    16 16 
      dh-ocaml (>= 0.9.5~),
    17 17 
      dh-python,
    18 18 
      ocaml-dune,
    19 
    - ocaml-nox (>= 4.05),
    19 
    + ocaml,
    20 20 
      ocaml-native-compilers,
    21 21 
      ocaml-findlib (>= 1.8.0),
    22 22 
      camlp5 (>= 6.14),
    ... ... @@ -42,7 +42,7 @@ Depends:
    42 42 
      ${python3:Depends},
    43 43 
      ${shlibs:Depends},
    44 44 
      ${misc:Depends},
    45 
    - ocaml-nox,
    45 
    + ocaml,
    46 46 
      ocaml-findlib
    47 47 
     Provides: coq-${F:CoqABI}
    48 48 
     Suggests:

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: