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

[Git][ocaml-team/why3][master] B-D on graphviz-tools now

Title: GitLab

Gianfranco Costamagna pushed to branch master at Debian OCaml Maintainers / why3

Commits:

  • 478c94d4
    by Gianfranco Costamagna at 2026-01-06T10:12:30+01:00 
    B-D on graphviz-tools now

2 changed files:

Changes:

  • debian/changelog
    1 
    +why3 (1.8.2-3) unstable; urgency=medium
    2 
    +
    3 
    +  * Team upload
    4 
    +  * Actually b-d on graphviz-tools, some tools are now split into that
    5 
    +    package.
    6 
    +
    7 
    + -- Gianfranco Costamagna <locutusofborg@debian.org>  Tue, 06 Jan 2026 10:11:53 +0100
    8 
    +
    1 9 
     why3 (1.8.2-2) unstable; urgency=medium
    2 10
    3 11 
       * Team upload

  • debian/control
    ... ... @@ -6,7 +6,6 @@ Uploaders: Ralf Treinen <treinen@debian.org>
    6 6 
     Build-Depends:
    7 7 
       debhelper-compat (= 13), dh-ocaml,
    8 8 
       autoconf,
    9 
    -  graphviz,
    10 9 
       ocaml,
    11 10 
       ocaml-findlib,
    12 11 
       menhir (>= 20200123),
    ... ... @@ -25,7 +24,7 @@ Build-Depends-Indep:
    25 24 
       texlive-fonts-recommended,
    26 25 
       texlive-bibtex-extra,
    27 26 
       tex-gyre,
    28 
    -  graphviz
    27 
    +  graphviz-tools
    29 28 
     Standards-Version: 4.7.2
    30 29 
     Rules-Requires-Root: no
    31 30 
     Homepage: https://www.why3.org/

    • —
    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/why3/-/commit/478c94d40c40839f6d78b442dcfe219af62c4020 at 1767690798

    Reply to: