sekversion

An efficient implementation of ephemeral and persistent sequences

AuthorsArthur Charguéraud <[email protected]>, Émilie Guermeur <then at Inria> and François Pottier <[email protected]>
LicenseLGPL-3.0-or-later
Published
Homepagehttps://gitlab.inria.fr/fpottier/sek
Issue Tracker[email protected]
Maintainer[email protected]
Dependencies
Source [http] https://gitlab.inria.fr/fpottier/sek/-/archive/20201012/archive.tar.gz
md5=9f6928616982931247b976d6ffe26b21
sha512=26e61a6d4a985ffba16f21933c7702b246f41e7f9ad4768fecb8235fd95c26a02ad19708de9b2fcab5ef58c3796d41877df3fe050ba44aa77c615d42db8f8791
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sek/sek.20201012/opam
No package is dependent
OSZAR »