[Git][ocaml-team/coq][master] Remove camlp5 from Build-Depends

[Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>]

Title: GitLab

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

Commits:

• 3bac6aae
  by Stephane Glondu at 2023-09-06T08:48:01+02:00

  Remove camlp5 from Build-Depends
  

1 changed file:

• debian/control

Changes:

debian/control

---

...	...	@@ -18,7 +18,6 @@ Build-Depends:
18	18	ocaml,
19	19	ocaml-native-compilers,
20	20	ocaml-findlib (>= 1.8.0),
21		- camlp5,
22	21	libfindlib-ocaml-dev,
23	22	liblablgtk3-ocaml-dev,
24	23	liblablgtksourceview3-ocaml-dev (>= 3.0~beta8),

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