mirror of
https://codeberg.org/guix/guix.git
synced 2025-10-02 02:15:12 +00:00
gnu: Remove ocaml4.07-uuidm.
* gnu/packages/ocaml.scm (ocaml4.07-uuidm): Remove variable. (ocaml-uuidm)[properties]: Remove variant. Change-Id: I8ff5a145eb1057f8aff869f865c562134c9afc9d
This commit is contained in:
parent
3406364250
commit
ad5a1abec8
1 changed files with 0 additions and 15 deletions
|
@ -4829,7 +4829,6 @@ tool and piqi-ocaml.")
|
||||||
(propagated-inputs
|
(propagated-inputs
|
||||||
`(("cmdliner" ,ocaml-cmdliner)
|
`(("cmdliner" ,ocaml-cmdliner)
|
||||||
("topkg" ,ocaml-topkg)))
|
("topkg" ,ocaml-topkg)))
|
||||||
(properties `((ocaml4.07-variant . ,(delay ocaml4.07-uuidm))))
|
|
||||||
(home-page "https://erratique.ch/software/uuidm")
|
(home-page "https://erratique.ch/software/uuidm")
|
||||||
(synopsis "Universally unique identifiers for OCaml")
|
(synopsis "Universally unique identifiers for OCaml")
|
||||||
(description "Uuidm is an OCaml module implementing 128 bits universally
|
(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.")
|
and 4 (random based) according to RFC 4122.")
|
||||||
(license license:isc)))
|
(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
|
(define-public ocaml-graph
|
||||||
(package
|
(package
|
||||||
(name "ocaml-graph")
|
(name "ocaml-graph")
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue