From 440f25ef590813e93cb8aca12bab547f7141a95c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 5 Jan 2023 12:03:10 +0100 Subject: [PATCH] registry already did not depend on ocamlnet any more --- matita/components/registry/dune | 2 +- matita/dune-project | 2 +- matita/matita.opam | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/matita/components/registry/dune b/matita/components/registry/dune index 10dcf8188..788f8d3b4 100644 --- a/matita/components/registry/dune +++ b/matita/components/registry/dune @@ -1,6 +1,6 @@ (library (name helm_registry) - (libraries str netstring helm_xml) + (libraries str helm_xml) (preprocess (action (system "camlp5o %{input-file}"))) (wrapped false) (modules (:standard \ test))) diff --git a/matita/dune-project b/matita/dune-project index e647447f1..1efcd6a16 100644 --- a/matita/dune-project +++ b/matita/dune-project @@ -30,10 +30,10 @@ (description "Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna.") (depends (ocaml (>= "4.14.1")) - (ocamlnet (>= 4.1.9.git)) (ulex-camlp5 (>= 1.3)) (ocaml-expat (>= 1.1.0)) (pcre (>= 7.5.0)) + (ocamlnet (>= 4.1.9.git)) ; used only by ocaml-http (ocaml-http (>= 0.1.6)) (camlzip (>= 1.11)) (lablgtk3-sourceview3 (>= 3.1.3)) diff --git a/matita/matita.opam b/matita/matita.opam index b2280d51f..a16eb59e9 100644 --- a/matita/matita.opam +++ b/matita/matita.opam @@ -16,10 +16,10 @@ bug-reports: "mailto:claudio.sacerdoticoen@unibo.it" depends: [ "dune" {>= "3.6"} "ocaml" {>= "4.14.1"} - "ocamlnet" {>= "4.1.9.git"} "ulex-camlp5" {>= "1.3"} "ocaml-expat" {>= "1.1.0"} "pcre" {>= "7.5.0"} + "ocamlnet" {>= "4.1.9.git"} "ocaml-http" {>= "0.1.6"} "camlzip" {>= "1.11"} "lablgtk3-sourceview3" {>= "3.1.3"} -- 2.39.2