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

[Git][ocaml-team/frama-c][experimental/master] add build-dep libppx-deriving-ocaml-dev

Title: GitLab

Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / frama-c

Commits:

  • 32959281
    by Ralf Treinen at 2022-06-18T20:15:29+02:00 
    add build-dep libppx-deriving-ocaml-dev

2 changed files:

Changes:

  • debian/changelog
    ... ... @@ -2,7 +2,9 @@ frama-c (20220511-manganese-1) UNRELEASED; urgency=medium
    2 2
    3 3 
       * New upstream version. This version is compatible with why3 version
    4 4 
         1.5.0 (closes: #1011892,#1010867).
    5 
    -  * Add build-dependency on libppx-import-ocaml-dev
    5 
    +  * Add build-dependency on
    6 
    +    - libppx-import-ocaml-dev
    7 
    +    - libppx-deriving-ocaml-dev
    6 8 
       * debian/copyright: drop mention of plugins that are no longer
    7 9 
         included in the upstream distribution:
    8 10 
         - coqwp

  • debian/control
    ... ... @@ -18,7 +18,8 @@ Build-Depends:
    18 18 
      libocamlgraph-ocaml-dev (>= 1.8.8),
    19 19 
      liblablgtk3-ocaml-dev (>= 3.0~beta4),
    20 20 
      liblablgtksourceview3-ocaml-dev,
    21 
    - libppx-import-ocaml-dev
    21 
    + libppx-import-ocaml-dev,
    22 
    + libppx-deriving-ocaml-dev
    22 23 
     Standards-Version: 4.6.1
    23 24 
     Rules-Requires-Root: no
    24 25 
     Homepage: https://frama-c.com

    • —
    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: