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.1.0/flex-array-1.1.0.tbz sha256=067b0598b0134342b219735e839a9b7cecd4584573d1dc41ba4ed0e3e5141331 sha512=423b2125eb9ed7816d2e838e74a83250f1284ac7bcb037d7616cf0b5732328ed0023a2277a268919897c1a736da79b859b32c91a1cbc7f33d81c081484830031 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/flex-array/flex-array.1.1.0/opam |
No package is dependent
