gnu: Remove ocaml4.07-ppx-bin-prot.

* gnu/packages/ocaml.scm (ocaml4.07-ppx-bin-prot): Remove variable.
(ocaml-ppx-bin-prot)[properties]: Remove variant.

Change-Id: I132d19d38cbb40c72afaa86a758ca0d4267fe645
This commit is contained in:
Julien Lepiller 2023-12-25 11:00:41 +01:00
parent 3d74d84235
commit 47532ebc1e
No known key found for this signature in database
GPG Key ID: 53D457B2D636EE82

View File

@ -7660,37 +7660,13 @@ verification tool.")
`(#:tests? #f))
(propagated-inputs
(list ocaml-base ocaml-bin-prot ocaml-ppx-here ocaml-ppxlib))
(properties `((upstream-name . "ppx_bin_prot")
(ocaml4.07-variant . ,(delay ocaml4.07-ppx-bin-prot))))
(properties `((upstream-name . "ppx_bin_prot")))
(home-page "https://github.com/janestreet/ppx_bin_prot")
(synopsis "Generation of bin_prot readers and writers from types")
(description "Generation of binary serialization and deserialization
functions from type definitions.")
(license license:expat)))
(define-public ocaml4.07-ppx-bin-prot
(package-with-ocaml4.07
(package
(inherit ocaml-ppx-bin-prot)
(version "0.11.1")
(source (origin
(method git-fetch)
(uri (git-reference
(url "https://github.com/janestreet/ppx_bin_prot")
(commit (string-append "v" version))))
(file-name (git-file-name "ocaml4.07-ppx-bin-prot" version))
(sha256
(base32
"1h60i75bzvhna1axyn662gyrzhh441l79vl142d235i5x31dmnkz"))))
(propagated-inputs
(list ocaml-base
ocaml-bin-prot
ocaml-ppx-here
ocaml-migrate-parsetree
ocaml-ppxlib))
(properties '())
(license license:asl2.0))))
(define-public ocaml-ppx-ignore-instrumentation
(package
(name "ocaml-ppx-ignore-instrumentation")