To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Core qcheck library
Install
Authors
Maintainers
Sources
v0.21.1.tar.gz
md5=39478dfe638aad53c18cd50cb42efe41
sha512=b0fec073a6ac5e52520e70670c605a8030da176f13946289de210ff95e3156c7f2664621d4ab7749bdd41967d1801804ca3b16c497d116d43918f76f7746e9ac
Description
Dependencies (4)
-
ocaml
>= "4.08.0"
- base-unix
- base-bytes
-
dune
>= "2.8.0"
Used by (24)
- algaeff
-
bwd
>= "1.2.0"
- colibri2
-
containers
>= "3.9"
-
containers-data
>= "3.9"
-
containers-thread
>= "3.9"
-
goblint
>= "1.1.1"
-
hacl-star
>= "0.7.0"
-
iter
>= "1.6"
-
logtk
>= "1.5.1"
-
lru
>= "0.3.0"
-
osnap
>= "0.3.0"
-
preface
>= "1.0.0"
-
psq
>= "0.1.1"
-
qcheck
>= "0.9" & < "0.11" | >= "0.21.1"
-
qcheck-alcotest
>= "0.21.1"
- qcheck-lin
- qcheck-multicoretests-util
-
qcheck-ounit
>= "0.21.1"
- qcheck-stm
-
tezos-shell-services-test-helpers
< "12.0" | >= "13.0"
-
tezos-webassembly-interpreter
< "15.0"
-
tiny_httpd
>= "0.13"
-
yuujinchou
>= "3.0.0"
Conflicts (1)
-
ounit
< "2.0"
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page