bagversion

Bags (aka multisets)

A bag library for OCaml

AuthorsJean-Christophe Filliâtre and Clément Pascutto
LicenseLGPL-2.1-only
Published
Homepagehttps://github.com/backtracking/bag
Issue Trackerhttps://github.com/backtracking/bag/issues
MaintainerJean-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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bag/bag.1.0.0/opam
No package is dependent