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).

AuthorJean-Christophe Filli√Ętre
LicenseLGPL-2.1
Published
Homepagehttps://github.com/backtracking/flex-array
Issue Trackerhttps://github.com/backtracking/flex-array/issues
MaintainerJean-Christophe.Filliatre@lri.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
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/flex-array/flex-array.1.1.0/opam
No package is dependent