forked from gentoo/gentoo
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Christoph Junghans <[email protected]>
- Loading branch information
Showing
3 changed files
with
68 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
DIST ptime-1.0.0.tbz 33749 BLAKE2B 6765924f624a92c69495883accd47c66294f49e2d2841fafc66444369b97b9dceaecac0c00a14cba2e8e710bf85c6d5759f419e83d4d0a7bee56c197d06bb000 SHA512 df2410d9cc25a33083fe968a584b8fb4d68ad5c077f3356da0a20427e6cd8756a5b946b921e5cf8ed4097f2c506e93345d9dca63b113be644d5a7cc0753d1534 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,35 @@ | ||
<?xml version="1.0" encoding="UTF-8"?> | ||
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> | ||
<pkgmetadata> | ||
<maintainer type="project"> | ||
<email>[email protected]</email> | ||
<name>ML</name> | ||
</maintainer> | ||
<longdescription lang="en">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][rfc3339] 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. | ||
|
||
Ptime is not a calendar library. | ||
|
||
Ptime has no dependency. Ptime_clock depends on your system library or | ||
JavaScript runtime system. Ptime and its libraries are distributed | ||
under the ISC license. | ||
|
||
[rfc3339]: http://tools.ietf.org/html/rfc3339 | ||
|
||
Home page: http://erratique.ch/software/ptime</longdescription> | ||
<upstream> | ||
<doc>https://erratique.ch/software/ptime/doc/</doc> | ||
<bugs-to>https://github.com/dbuenzli/ptime/issues</bugs-to> | ||
<remote-id type="github">dbuenzli/ptime</remote-id> | ||
<maintainer> | ||
<name>Daniel Bünzli</name> | ||
<email>[email protected]</email> | ||
</maintainer> | ||
</upstream> | ||
</pkgmetadata> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,32 @@ | ||
# Copyright 1999-2022 Gentoo Authors | ||
# Distributed under the terms of the GNU General Public License v2 | ||
|
||
EAPI=7 | ||
|
||
inherit opam findlib | ||
|
||
DESCRIPTION="POSIX time for OCaml" | ||
HOMEPAGE=" | ||
https://erratique.ch/software/ptime | ||
https://github.com/dbuenzli/ptime | ||
https://opam.ocaml.org/packages/ptime/ | ||
" | ||
SRC_URI="https://erratique.ch/software/ptime/releases/${P}.tbz" | ||
|
||
LICENSE="ISC" | ||
SLOT="0/${PV}" | ||
KEYWORDS="~amd64" | ||
IUSE="" | ||
|
||
RDEPEND="" | ||
DEPEND=" | ||
${RDEPEND} | ||
dev-ml/topkg | ||
" | ||
BDEPEND="dev-ml/ocamlbuild" | ||
|
||
OPAM_FILE=opam | ||
|
||
src_compile() { | ||
ocaml pkg/pkg.ml build || die | ||
} |