sekversion
An efficient implementation of ephemeral and persistent sequences
Authors | Arthur Charguéraud <[email protected]>, Émilie Guermeur <then at Inria> and François Pottier <[email protected]> |
---|---|
Published | |
Homepage | https://gitlab.inria.fr/fpottier/sek |
Issue Tracker | [email protected] |
Maintainer | [email protected] |
Dependencies | |
Source [http] | https://gitlab.inria.fr/fpottier/sek/-/archive/20200618/archive.tar.gz md5=cf541b6d254a5b76c600ce9b46452569 sha512=3a75ac74022234141f8423200070058a7b843e55a5db6bce3a311422e533e70ced956383926d819260e0b2cd06e3cdee340b656265c34e94f9cd0aa3bfbbab4f |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/sek/sek.20200618/opam |
No package is dependent