vector

Resizable Arrays
Description

aka vectors, dynamic arrays, growable arrays

Install
Published
04 May 2021
Authors
Maintainers
Sources
vector-1.0.0.tbz
sha256=f212d1d693ce37deb0da2550aab8d550ad5ea457c5757dc02f8ca8a66ebe6641 sha512=5125dd16f806af4cf7cef112b021f32f4a591b87533d25f8ac684e0eefc0a126f0d878c0d636546fb13afcd113190f7aba90176e5a1049492a7ea2f8a188e5a6
Dependencies
dune >= "2.0.0"
Reverse Dependencies
irmin >= "3.0.0"
irmin-test >= "3.0.0"
progress >= "0.2.0"
tezos-context >= "11.0" & < "13.0"