summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm11
1 files changed, 0 insertions, 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 @@ is now @code{Ocaml_common.Ast_helper}.")
(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 @@ re-exports the input/output functions of the OCaml standard libraries using
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")