flex-arrayversion
Flexible arrays
Flexible arrays are arrays whose size can be changed by adding or removing elements at either end (one at a time).
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/backtracking/flex-array |
| Issue Tracker | https://github.com/backtracking/flex-array/issues |
| Maintainer | Jean-Christophe.Filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/flex-array/releases/download/1.0.0/flex-array-1.0.0.tbz sha256=0d9da0707db8e28d3f40ec59ba2b8539728af1db952b1761868195b3fc942e39 sha512=40aae4da9e2a049c8dd1a3da73e78ca765329f2bb3401a04fd8cc88fcea8f4187c0574a1d0568235688d9650170424415711b79b69cd4119f8cad3465be8ddf6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/flex-array/flex-array.1.0.0/opam |
No package is dependent
