From cad3698635f1687d01ba54545d7f8512f8c402b9 Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Mon, 25 Dec 2023 11:50:20 +0100 Subject: [PATCH] gnu: Remove ocaml4.07-stdio. * gnu/packages/ocaml.scm (ocaml4.07-stdio): Remove variable. (ocaml-stdio)[properties]: Remove variant. Change-Id: I5a664b5130408eba41266f36cfc03641e2a8fd9d --- gnu/packages/ocaml.scm | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 82d6aec9a8..f750159c1d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6090,7 +6090,6 @@ (define-public ocaml-stdio (propagated-inputs (list ocaml-base ocaml-sexplib0)) (arguments `(#:tests? #f)) ;no tests - (properties `((ocaml4.07-variant . ,(delay ocaml4.07-stdio)))) (synopsis "Standard IO library for OCaml") (description "Stdio implements simple input/output functionalities for OCaml. It @@ -6098,16 +6097,6 @@ (define-public ocaml-stdio a more consistent API.") (license license:expat))) -(define-public ocaml4.07-stdio - (package-with-ocaml4.07 - (package - (inherit ocaml-stdio) - (version "0.11.0") - (source - (janestreet-origin "stdio" version - "0pqbp2wy5fgmc38irwvmj9nlcvclb1ix1mp4y7l39bgvvlz303h9")) - (properties '())))) - (define-public ocaml-ppx-deriving (package (name "ocaml-ppx-deriving")