containers
A modular, clean and powerful extension of the OCaml standard library
Description
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 16 Nov 2022
- Authors
- Maintainers
Sources
v3.10.tar.gz
md5=050afc34c00ee0ffb1bf545c52d3880f
sha512=ef4c9c27f6e535df070f2ee9e6357f6f9bf4a8a196e3f274bec00d931bbd775f939a7e8b144accc8c4568df6c25b820aaebad6e12b1d444bccb7c8f7b7989bf0
Dependencies
odoc
with-doc
uutf
with-test
csexp
with-test
gen
with-test
iter
with-test
yojson
with-test
qcheck-core
>= "0.18" & with-test
ocaml
with-test & >= "4.08"
qcheck-core
>= "0.17" & with-test
ocaml
with-test & < "4.08"
dune
>= "2.0"
ocaml
>= "4.03.0"
Reverse Dependencies
archsat
< "1.1"
batsat
>= "0.7"
calculon
>= "0.7"
containers-data
>= "3.10"
containers-thread
>= "3.10"
decoders-ezjsonm
>= "0.3.0"
decoders-yojson
>= "0.5.0"
electrod
>= "0.8.0"
gdbprofiler
>= "0.4"
hll
>= "2.7"
libzipperposition
>= "2.0"
linol
< "0.4"
linol-lwt
< "0.4"
logtk
>= "2.0"
msat
>= "0.8.3"
nsq
= "0.2.4"
nunchaku
>= "0.4"
pds
>= "5.38"
prom
!= "0.2"
redis-lwt
>= "0.4"
redis-sync
>= "0.4"
sihl-web
!= "0.2.2"
timedesc
< "0.8.0"
timere-parse
>= "0.0.6"
tsort
< "2.1.0"
websocket
>= "2.0.0" & < "2.7"
yices2_bindings
>= "0.2"
zipperposition
>= "2.0"
Conflicts