From ad5a1abec87d861b1d4c45a42fd754a3c5493e9c Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Mon, 25 Dec 2023 11:46:37 +0100 Subject: gnu: Remove ocaml4.07-uuidm. * gnu/packages/ocaml.scm (ocaml4.07-uuidm): Remove variable. (ocaml-uuidm)[properties]: Remove variant. Change-Id: I8ff5a145eb1057f8aff869f865c562134c9afc9d --- gnu/packages/ocaml.scm | 15 --------------- 1 file changed, 15 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index a411bb78e0..f59bdb938d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4829,7 +4829,6 @@ tool and piqi-ocaml.") (propagated-inputs `(("cmdliner" ,ocaml-cmdliner) ("topkg" ,ocaml-topkg))) - (properties `((ocaml4.07-variant . ,(delay ocaml4.07-uuidm)))) (home-page "https://erratique.ch/software/uuidm") (synopsis "Universally unique identifiers for OCaml") (description "Uuidm is an OCaml module implementing 128 bits universally @@ -4837,20 +4836,6 @@ unique identifiers (UUIDs) version 3, 5 (named based with MD5, SHA-1 hashing) and 4 (random based) according to RFC 4122.") (license license:isc))) -(define-public ocaml4.07-uuidm - (package-with-ocaml4.07 - (package - (inherit ocaml-uuidm) - (version "0.9.7") - (source (origin - (method url-fetch) - (uri (string-append "http://erratique.ch/software/uuidm/" - "releases/uuidm-" version ".tbz")) - (sha256 - (base32 - "1ivxb3hxn9bk62rmixx6px4fvn52s4yr1bpla7rgkcn8981v45r8")))) - (properties '())))) - (define-public ocaml-graph (package (name "ocaml-graph") -- cgit v1.2.3