bagversion
Bags (aka multisets)
A bag library for OCaml
Authors | Jean-Christophe Filliâtre and Clément Pascutto |
---|---|
License | LGPL-2.1-only |
Published | |
Homepage | https://github.com/backtracking/bag |
Issue Tracker | https://github.com/backtracking/bag/issues |
Maintainer | Jean-Christophe.Filliatre@lri.fr |
Dependencies | |
Source [http] | https://github.com/backtracking/bag/releases/download/1.0.0/bag-1.0.0.tbz sha256=18822b7509e5128bfb127a5e4b6b6272d38fa0b2ea76d097af41775916bd85c2 sha512=93988c0269b6725cb3adea400f63775ed645f0b3b13178fbbcf3e4f6be793605ad8b059ccf48fcebc446589c4c86642ac9b5e95425e57705ed4c572ce1226212 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bag/bag.1.0.0/opam |
No package is dependent