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

[Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect

Commits:

2 changed files:

Changes:

  • debian/changelog
    1 
    +ssreflect (1.14.0-8) unstable; urgency=medium
    2 
    +
    3 
    +  * Change b-dep from obsolete lua5.1 to lua5.4.
    4 
    +
    5 
    + -- Julien Puydt <jpuydt@debian.org>  Wed, 23 Mar 2022 16:44:59 +0100
    6 
    +
    1 7 
     ssreflect (1.14.0-7) unstable; urgency=medium
    2 8
    3 9 
       * Better fix for Breaks+Replaces (Closes: #1005852).

  • debian/control
    ... ... @@ -7,7 +7,7 @@ Uploaders: Stéphane Glondu <glondu@debian.org>,
    7 7 
     Build-Depends:
    8 8 
      debhelper-compat (= 13),
    9 9 
      coq (>= 8.11),
    10 
    - lua5.1
    10 
    + lua5.4
    11 11 
     Rules-Requires-Root: no
    12 12 
     Standards-Version: 4.6.0
    13 13 
     Section: math

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.

    Reply to: