gnu: Remove ocaml4.07-jane-street-headers.

* gnu/packages/ocaml.scm (ocaml4.07-jane-street-headers): Remove
variable.
(ocaml-jane-street-headers)[properties]: Remove variant.

Change-Id: I4df9b3a74ea8100605bf730848888db4f63c1dc0
This commit is contained in:
Julien Lepiller 2023-12-24 14:21:40 +01:00
parent 17101812a8
commit b9dcefa570
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82

View file

@ -5566,7 +5566,6 @@ (define-public ocaml-jane-street-headers
"1r27r0bxxa0iaah5rm84lwhrmh784vfpmb6056hpv0p34rxs7r1l"))
(build-system dune-build-system)
(arguments '(#:tests? #f)) ; no tests
(properties `((ocaml4.07-variant . ,(delay ocaml4.07-jane-street-headers))))
(home-page "https://github.com/janestreet/jane-street-headers")
(synopsis "Jane Street C header files")
(description "C header files shared between the various Jane Street
@ -8040,29 +8039,6 @@ (define-public ocaml-base-quickcheck
types provided by Base.")
(license license:expat)))
(define-public ocaml4.07-jane-street-headers
(package
(name "ocaml4.07-jane-street-headers")
(version "0.11.0")
(source (origin
(method url-fetch)
(uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
(version-major+minor version)
"/files/jane-street-headers-v" version ".tar.gz"))
(sha256
(base32
"0afhzm08l9v883fhpqqh2lmy7az609pxif40bp7x1sk8c0yszqsh"))))
(build-system dune-build-system)
(arguments
`(#:ocaml ,ocaml-4.07
#:findlib ,ocaml4.07-findlib
#:dune ,ocaml4.07-dune))
(home-page "https://github.com/janestreet/jane-street-headers")
(synopsis "Jane Street C header files")
(description "This package provides C header files shared between the
various Jane Street packages.")
(license license:asl2.0)))
(define-public ocaml4.07-configurator
(package
(name "ocaml4.07-configurator")