gnu: ocaml: Update to 4.11.1.

* gnu/packages/ocaml.scm (ocaml): Update to 4.11.1.
This commit is contained in:
Julien Lepiller 2020-10-15 22:02:56 +02:00
parent be0ebf33aa
commit 0c83708240
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82

View file

@ -133,10 +133,10 @@ (define janestreet-arguments
"/lib/ocaml/site-lib")) "/lib/ocaml/site-lib"))
#:phases (modify-phases %standard-phases (delete 'configure)))) #:phases (modify-phases %standard-phases (delete 'configure))))
(define-public ocaml-4.09 (define-public ocaml-4.11
(package (package
(name "ocaml") (name "ocaml")
(version "4.09.0") (version "4.11.1")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append (uri (string-append
@ -145,7 +145,7 @@ (define-public ocaml-4.09
"/ocaml-" version ".tar.xz")) "/ocaml-" version ".tar.xz"))
(sha256 (sha256
(base32 (base32
"1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3yzj")))) "0k4521c0p10c5ams6vjv5qkkjhmpkb0bfn04llcz46ah0f3r2jpa"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(native-search-paths (native-search-paths
(list (search-path-specification (list (search-path-specification
@ -203,6 +203,20 @@ (define-public ocaml-4.09
;; distributed under lgpl2.0. ;; distributed under lgpl2.0.
(license (list license:qpl license:lgpl2.0)))) (license (list license:qpl license:lgpl2.0))))
(define-public ocaml-4.09
(package
(inherit ocaml-4.11)
(version "4.09.0")
(source (origin
(method url-fetch)
(uri (string-append
"http://caml.inria.fr/pub/distrib/ocaml-"
(version-major+minor version)
"/ocaml-" version ".tar.xz"))
(sha256
(base32
"1v3z5ar326f3hzvpfljg4xj8b9lmbrl53fn57yih1bkbx3gr3yzj"))))))
(define-public ocaml-4.07 (define-public ocaml-4.07
(package (package
(inherit ocaml-4.09) (inherit ocaml-4.09)