Gentoo Packages

Search

Install

Install this version:

emerge -a =dev-ml/mirage-time-9999

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =dev-ml/mirage-time-9999

Or alternatively:

emerge --autounmask-write -a =dev-ml/mirage-time-9999

Package Information

Description:: Time signatures for MirageOS
Homepage:: https://github.com/mirage/mirage-time
License:: ISC

Ebuild Details

Version	EAPI	Keywords	Slot
9999	8		0/9999

View Raw Ebuild

# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

DUNE_PKG_NAME="mirage-time mirage-time-unix"

inherit dune git-r3

DESCRIPTION="Time signatures for MirageOS"
HOMEPAGE="https://github.com/mirage/mirage-time"
EGIT_REPO_URI="https://github.com/mirage/${PN}.git"

LICENSE="ISC"
SLOT="0/${PV}"
IUSE="+ocamlopt"

RDEPEND="dev-ml/duration:0=[ocamlopt?]
	dev-ml/lwt:0=[ocamlopt?]"

USE Flags

Manage flags for this package: euse -i <flag> -p dev-ml/mirage-time | euse -E <flag> -p dev-ml/mirage-time | euse -D <flag> -p dev-ml/mirage-time

Global/Standard Flags

ocamlopt

Inherited Eclasses

dune

git-r3

Dependencies

RDEPEND

dev-ml/duration:0=[ocamlopt?]
	dev-ml/lwt:0=[ocamlopt?]

dev-ml/mirage-time - 9999 (nest)