opam - goblint.1.1.1

Authors	Vesal Vojdani, Kalmer Apinis, Ralf Vogler, Michael Schwarz, Julian Erhard and Simmo Saan
License	MIT
Published	Nov 30, 2021
Homepage	https://goblint.in.tum.de
Issue Tracker	https://github.com/goblint/analyzer/issues
Maintainers	Michael Schwarz <michael.schwarz93@gmail.com>, Simmo Saan <simmo.saan@gmail.com> and Ralf Vogler <ralf.vogler@gmail.com>
Dependencies	ocaml>=4.09 dune>=2.9.1 goblint-cil>=1.8.2 & <2.0.0 batteries>=3.2.0 & <3.4.0 zarith>=1.8 qcheck-core ppx_distr_guards>=0.2 ppx_deriving ppx_deriving_yojson ocaml-monadic>=0.5 ounit2with-test odocwith-doc dune-site sha>=1.12 conf-gmp>=3 conf-rubywith-test benchmarkwith-test conf-gcc
Optional dependencies	apron z3
Source [http]	https://github.com/goblint/analyzer/releases/download/v1.1.1/goblint-1.1.1.tbz sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141 sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/goblint/goblint.1.1.1/opam

No package is dependent

goblintversion 1.1.1 1.0.01.1.12.0.02.0.12.1.02.2.12.3.0 (latest)