ocamlgraphversion
A generic graph library for OCaml
| Authors | Sylvain Conchon, Jean-Christophe Filliâtre and Julien Signoles |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/backtracking/ocamlgraph/ |
| Maintainer | jean-christophe.filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/ocamlgraph/releases/download/v1.8.2/ocamlgraph-1.8.2.tar.gz sha256=e54ae60cd977a032854166dad56348d0fb76c6cd8e03e960af455268f0c8b5a6 md5=efa4394bc4651c90de443ff61c7477e6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ocamlgraph/ocamlgraph.1.8.2/opam |
Required by
- acgtk>=2.0.0
- acpc>=1.2 & <2.0.0
- alt-ergo<1.01
- altgr-ergo<1.01
- archsat
- awsm-codegen
- bap>=0.9.2 & <1.0.0
- bap-phoenix
- depgraph
- doculib>=1.3.5
- dose<3.2.2
- forester<2.4
- frama-c<9.1
- frenetic>=3.0.0 & <3.2.0
- functoria<4.0.0~beta1
- git<3.0.0
- graphlib
- GT
- heptagonbuild
- hts_shrink<3.0.1
- irmin
- modelica_ml>=0.2.0
- molenc>=11.4.0
- oasis<0.3.0
- octez-internal-libs
- opa-base
- opam-core>=2.0.0~beta
- opam-lib
- ott>=0.33
- pfff>=0.37.1
- planck>=2.1.1
- plasma
- rfsm<2.0
- satML-plugin<1.01
- satyrographos>=0.0.2.7
- solvuu-build
- solvuu_build
- squirrel
- tezos-benchmark
- topology<0.4.0
- why<2.35
- why3<0.81 | >=0.85 & <1.0.0
