deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libqcheck-core-ocaml-dev-r0cl9, libqcheck-multicoretests-util-ocaml-dev-qexw7,
libstdlib-ocaml-dev-0d647, ocaml-5.2.0
Description: |-
QCheck module testing sequential consistency
Allows for testing an API for sequential consistency. I.e.
it performs a sequence of random commands in parallel,
records the results and checks whether the observed results
can be liniarized and reconciled with some sequential
execution. The library offers an embedded, combinator DSL
to describe signatures succinctly.
Homepage: https://github.com/ocaml-multicore/mutlicoretests
Installed-Size: '1027'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libqcheck-lin-ocaml-dev
Priority: optional
Provides: libqcheck-lin-ocaml-dev-lxsi4
Section: ocaml
Source: ocaml-multicoretests
Version: 0.4-1
srcpkg_name: ocaml-multicoretests
srcpkg_version: 0.4-1