@@ -7719,6 +7719,45 @@ number generator interface, and implementations.")))
(description "@code{ocaml-mirage-crypto-pk} provides public-key
cryptography (RSA, DSA, DH) for OCaml.")))
+(define-public ocaml-ptime
+ (package
+ (name "ocaml-ptime")
+ (version "0.8.5")
+ (source
+ (origin
+ (method url-fetch)
+ (uri
+ (string-append "https://erratique.ch/software/ptime/releases/ptime-"
+ version ".tbz"))
+ (sha256
+ (base32
+ "1fxq57xy1ajzfdnvv5zfm7ap2nf49znw5f9gbi4kb9vds942ij27"))))
+ (build-system ocaml-build-system)
+ (arguments
+ `(#:build-flags (list "build" "--with-js_of_ocaml" "false"
+ "--tests" "true")
+ #:phases
+ (modify-phases %standard-phases
+ (delete 'configure))))
+ (propagated-inputs
+ `(("ocaml-result" ,ocaml-result)))
+ (native-inputs
+ `(("ocamlbuild" ,ocamlbuild)
+ ("ocaml-topkg" ,ocaml-topkg)
+ ("opam" ,opam)))
+ (properties `((upstream-name . "ptime")))
+ (home-page "https://erratique.ch/software/ptime")
+ (synopsis "POSIX time for OCaml")
+ (description "Ptime has platform independent POSIX time support in pure
+OCaml. It provides a type to represent a well-defined range of POSIX
+timestamps with picosecond precision, conversion with date-time values,
+conversion with RFC 3339 timestamps and pretty printing to a human-readable,
+locale-independent representation.
+
+The additional Ptime_clock library provides access to a system POSIX clock and
+to the system's current time zone offset.")
+ (license license:isc)))
+
(define-public js-of-ocaml
(package
(name "js-of-ocaml")