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 parallel state-machines
STM contains a revision of qcstm extended to run parallel
state-machine tests akin to Erlang QuickCheck, Haskell
Hedgehog, ScalaCheck. To do so, the STM library performs a
sequence of random operations in parallel and records the
results. STM then checks whether the observed results are
linearizable by reconciling them with a sequential
execution of a model description. The model expresses the
intended meaning of each tested command.
Homepage: https://github.com/ocaml-multicore/mutlicoretests
Installed-Size: '826'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libqcheck-stm-ocaml-dev
Priority: optional
Provides: libqcheck-stm-ocaml-dev-go044
Section: ocaml
Source: ocaml-multicoretests
Version: 0.4-1
srcpkg_name: ocaml-multicoretests
srcpkg_version: 0.4-1