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

[Git][ocaml-team/why3][master] 3 commits: Depend on ocaml-native-compilers in tests for now

Title: GitLab

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

Commits:

  • 9cfc020a
    by Stephane Glondu at 2024-08-13T01:40:25+02:00 
    Depend on ocaml-native-compilers in tests for now

There seems to be an issue with Dynlink.loadfile_private in bytecode,
see https://github.com/ocaml/ocaml/issues/13374
  • 3d8f2cc8
    by Stephane Glondu at 2024-08-13T01:42:21+02:00 
    Update changelog
  • def95125
    by Stephane Glondu at 2024-08-13T01:43:20+02:00 
    Prepare upload to unstable

2 changed files:

Changes:

  • debian/changelog
    1 
    -why3 (1.7.2-2) UNRELEASED; urgency=medium
    1 
    +why3 (1.7.2-2) unstable; urgency=medium
    2 2
    3 
    +  * Team upload
    3 4 
       * Do not hardcode /usr/lib/ocaml
    5 
    +  * Depend on ocaml-native-compilers in tests for now
    4 6
    5 
    - -- Stéphane Glondu <glondu@debian.org>  Mon, 12 Aug 2024 20:03:36 +0200
    7 
    + -- Stéphane Glondu <glondu@debian.org>  Tue, 13 Aug 2024 01:43:15 +0200
    6 8
    7 9 
     why3 (1.7.2-1) unstable; urgency=medium
    8 10

  • debian/tests/control
    1 1 
     Tests: why3+cvc4
    2 
    -Depends: why3, cvc4 (<< 1.9)
    2 
    +Depends: why3, cvc4 (<< 1.9), ocaml-native-compilers
    3 3 
     Restrictions: skip-not-installable
    4 4
    5 5 
     Tests: why3+spass
    6 
    -Depends:why3, spass
    6 
    +Depends:why3, spass, ocaml-native-compilers
    7 7 
     Restrictions: skip-not-installable
    8 8
    9 9 
     Tests: why3+z3
    10 
    -Depends:why3, z3 (<< 4.11.1)
    10 
    +Depends:why3, z3 (<< 4.11.1), ocaml-native-compilers
    11 11 
     Restrictions: skip-not-installable

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

    Reply to: