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:
- debian/changelog
- debian/control
Changes:
=====================================
debian/changelog
=====================================
@@ -2,7 +2,9 @@ frama-c (20220511-manganese-1) UNRELEASED; urgency=medium
* New upstream version. This version is compatible with why3 version
1.5.0 (closes: #1011892,#1010867).
- * Add build-dependency on libppx-import-ocaml-dev
+ * Add build-dependency on
+ - libppx-import-ocaml-dev
+ - libppx-deriving-ocaml-dev
* debian/copyright: drop mention of plugins that are no longer
included in the upstream distribution:
- coqwp
=====================================
debian/control
=====================================
@@ -18,7 +18,8 @@ Build-Depends:
libocamlgraph-ocaml-dev (>= 1.8.8),
liblablgtk3-ocaml-dev (>= 3.0~beta4),
liblablgtksourceview3-ocaml-dev,
- libppx-import-ocaml-dev
+ libppx-import-ocaml-dev,
+ libppx-deriving-ocaml-dev
Standards-Version: 4.6.1
Rules-Requires-Root: no
Homepage: https://frama-c.com
View it on GitLab:
https://salsa.debian.org/ocaml-team/frama-c/-/commit/32959281ed0c06b1f14428e4a990ddc0b333ceb7
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/frama-c/-/commit/32959281ed0c06b1f14428e4a990ddc0b333ceb7
You're receiving this email because of your account on salsa.debian.org.
