rocq-segmapversion Documentation on ocaml.org
A verified implementation of segment maps
| Author | François Pottier <francois.pottier@inria.fr> |
|---|---|
| License | LGPL-2.0-only WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://gitlab.inria.fr/fpottier/rocq-segmap/ |
| Issue Tracker | https://gitlab.inria.fr/fpottier/rocq-segmap/issues |
| Maintainer | François Pottier <francois.pottier@inria.fr> |
| Dependencies |
|
| Source [http] | https://gitlab.inria.fr/fpottier/rocq-segmap/-/archive/20261102.tar.gz md5=bc03acd5839df73afe50a0999adbfe2b sha512=69555af229afb165f88e27897ad5a6ab34322079fc0f6e717097218dc0c6d91b0c902110feea800f63902a5b2ed827e3b02d8f2a3ee8efd0e4477f6f411d32d1 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/rocq-segmap/rocq-segmap.20261102/opam |
No package is dependent
