[ Source: ocaml-multicore-magic ]
Package: libmulticore-magic-dscheck-ocaml-dev (2.3.2-1 and others)
Links for libmulticore-magic-dscheck-ocaml-dev
Debian Resources:
Download Source Package ocaml-multicore-magic:
- [ocaml-multicore-magic_2.3.2-1.dsc]
- [ocaml-multicore-magic_2.3.2.orig.tar.bz2]
- [ocaml-multicore-magic_2.3.2-1.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
multicore-magic API with atomic modules from dscheck -- development files
Implements the multicore-magic API with the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic
This package includes the development files required to develop modules using multicore-magic-dscheck.
Other Packages Related to libmulticore-magic-dscheck-ocaml-dev
|
|
|
|
-
- dep: libdscheck-ocaml-dev-f1c04 [armhf, i386, loong64, ppc64]
- virtual package provided by libdscheck-ocaml-dev
-
- dep: libdscheck-ocaml-dev-h7in5 [sh4]
- Package not available
-
- dep: libdscheck-ocaml-dev-p8ja0 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libdscheck-ocaml-dev
-
- dep: libdscheck-ocaml-dev-rgtq1 [s390x]
- virtual package provided by libdscheck-ocaml-dev
-
- dep: libstdlib-ocaml-dev-1vpd4 [armhf, i386, loong64, ppc64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-bkvu1 [sh4]
- Package not available
-
- dep: libstdlib-ocaml-dev-kjuo1 [amd64, arm64, ppc64el, riscv64]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: libstdlib-ocaml-dev-l59h8 [s390x]
- virtual package provided by libstdlib-ocaml-dev
-
- dep: ocaml-5.2.0 [sh4]
- Package not available
-
- dep: ocaml-5.4.0 [not sh4]
- virtual package provided by ocaml
Download libmulticore-magic-dscheck-ocaml-dev
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 2.3.2-1 | 31.7 kB | 155.0 kB | [list of files] |
| arm64 | 2.3.2-1 | 32.5 kB | 206.0 kB | [list of files] |
| armhf | 2.3.2-1 | 24.2 kB | 103.0 kB | [list of files] |
| i386 | 2.3.2-1 | 24.2 kB | 103.0 kB | [list of files] |
| loong64 | 2.3.2-1 | 24.2 kB | 103.0 kB | [list of files] |
| ppc64 (unofficial port) | 2.3.1-3+b1 | 24.3 kB | 104.0 kB | [list of files] |
| ppc64el | 2.3.2-1 | 32.9 kB | 209.0 kB | [list of files] |
| riscv64 | 2.3.2-1 | 34.3 kB | 187.0 kB | [list of files] |
| s390x | 2.3.2-1 | 31.9 kB | 156.0 kB | [list of files] |
| sh4 (unofficial port) | 2.3.0-2+b1 | 32.7 kB | 67.0 kB | [list of files] |