package batteries
A community-maintained standard library extension
Install
dune-project
Dependency
Authors
Maintainers
Sources
v3.5.1.tar.gz
md5=d3d16ffc960e832a1c0e21b7123194e9
sha512=36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870
Description
Published: 25 Feb 2022
Dependencies (4)
- num
-
ocamlbuild
build -
ocamlfind
build & >= "1.5.3" -
ocaml
>= "4.00.0" & < "4.15.0"
Dev Dependencies (3)
Used by (52)
- acp4
- acpc
- bookaml
-
bst
>= "5.0.0" -
clangml
< "4.0.0" - cpm
- daft
-
expect
< "0.1.0" - fasmifra
- fstar
- gen-bs
- get_line
-
goblint
>= "2.0.0" -
goblint-cil
>= "1.8.0" & < "2.0.0" -
grib
< "0.11.0" - hts_shrink
- jasmin
-
jhupllib
>= "0.2.2" - karamel
- kmt
-
kremlin
< "transition" - lbvs_consent
- line_oriented
- linwrap
- liquid_syntax
- markdown
- mmo
-
molenc
< "15.4.0" | >= "16.5.0" - monadlib
- mutf8
- obandit
- odnnr
- omlr
- oplsr
- oranger
- orf
-
orrandomForest
>= "3.0.0" - orsvm_e1071
- orxgboost
- pa_comprehension
- pardi
- pb-plugin
- pds-reachability
- portia
- ppx_nanocaml
- rankers
- remu_ts
- spirv
- svmwrap
- telegraml
- typeid
-
vcardgen
>= "1.1"