[ trixie ]
[ sid ]
[ Source: ocaml-mirage-clock ]
Package: libmirage-clock-ocaml-dev (4.2.0-1 and others)
Links for libmirage-clock-ocaml-dev
Debian Resources:
Download Source Package ocaml-mirage-clock:
- [ocaml-mirage-clock_4.2.0-1.dsc]
- [ocaml-mirage-clock_4.2.0.orig.tar.bz2]
- [ocaml-mirage-clock_4.2.0-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
libraries and module types for portable clocks (dev)
This library implements portable support for an operating system timesource that is compatible with the MirageOS library interfaces.
It implements an MCLOCK module that represents a monotonic timesource since an arbitrary point, and PCLOCK which counts time since the Unix epoch.
This package contains development files.
Other Packages Related to libmirage-clock-ocaml-dev
|
|
|
|
-
- dep: libmirage-clock-ocaml-do2i2 [s390x]
- virtual package provided by libmirage-clock-ocaml
-
- dep: libmirage-clock-ocaml-iwiq3 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libmirage-clock-ocaml
-
- dep: libmirage-clock-ocaml-r2oj0 [not amd64, arm64, ppc64el, riscv64, s390x]
- virtual package provided by libmirage-clock-ocaml
-
- dep: libstdlib-ocaml-dev-bdrm4 [not amd64, arm64, ppc64el, riscv64, s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-fxjy5 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-ke4j9 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.3.0
- virtual package provided by ocaml
-
- rec: ocaml-findlib
- management tool for OCaml libraries
Download libmirage-clock-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha (unofficial port) | 4.2.0-1+b1 | 28.4 kB | 73.0 kB | [list of files] |
| amd64 | 4.2.0-1+b2 | 31.4 kB | 91.0 kB | [list of files] |
| arm64 | 4.2.0-1+b1 | 31.5 kB | 92.0 kB | [list of files] |
| armel | 4.2.0-1+b1 | 28.2 kB | 71.0 kB | [list of files] |
| armhf | 4.2.0-1+b1 | 28.2 kB | 70.0 kB | [list of files] |
| hppa (unofficial port) | 4.2.0-1+b1 | 28.3 kB | 71.0 kB | [list of files] |
| i386 | 4.2.0-1+b1 | 28.4 kB | 71.0 kB | [list of files] |
| mips64el | 4.2.0-1+b1 | 28.5 kB | 72.0 kB | [list of files] |
| ppc64 (unofficial port) | 4.2.0-1+b1 | 28.4 kB | 72.0 kB | [list of files] |
| ppc64el | 4.2.0-1+b1 | 31.7 kB | 94.0 kB | [list of files] |
| riscv64 | 4.2.0-1+b1 | 33.0 kB | 108.0 kB | [list of files] |
| s390x | 4.2.0-1+b1 | 31.4 kB | 91.0 kB | [list of files] |
| sh4 (unofficial port) | 4.2.0-1+b1 | 28.2 kB | 71.0 kB | [list of files] |
| sparc64 (unofficial port) | 4.2.0-1+b1 | 28.2 kB | 72.0 kB | [list of files] |
| x32 (unofficial port) | 4.2.0-1+b1 | 28.2 kB | 71.0 kB | [list of files] |