| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ocaml-store | Distribution: Fedora Project |
| Version: 0.2 | Vendor: Fedora Project |
| Release: 5.fc46 | Build date: Tue Sep 15 20:21:33 2026 |
| Group: Unspecified | Build host: buildvm-a64-45.rdu3.fedoraproject.org |
| Size: 297616 | Source RPM: ocaml-store-0.2-5.fc46.src.rpm |
| Packager: Fedora Project | |
| Url: https://gitlab.com/basile.clement/store | |
| Summary: Snapshottable data structures | |
`Store` is a library to add snapshotting capabilities to imperative data
structures with low runtime cost and safe, user-friendly APIs. It is designed
for (and works best with) applications that exploit backtracking algorithms,
such as SMT solvers, type-checking and type-inference algorithms.
Currently, `Store` only provides snapshottable references; support for custom
built-in data structures that benefit from non-backtracked operations (such as
resizing a dynamic array) is planned.
The design of the Store library is described in the ICFP'24 paper:
Clément Allain, Basile Clément, Alexandre Moine, and Gabriel Scherer. 2024.
Snapshottable Stores.
Proc. ACM Program. Lang. 8, ICFP, Article 248 (August 2024), 32 pages.
https://doi.org/10.1145/3674637
MIT
* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 0.2-5 - OCaml 5.5.1 rebuild * Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.2-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.2-3 - OCaml 5.5.0 rebuild - Use the dune declarative buildsystem * Wed Jun 17 2026 Jerry James <loganjerry@gmail.com> - 0.2-2 - ocaml-monolith is x86_64-only * Wed Jun 17 2026 Jerry James <loganjerry@gmail.com> - 0.2-1 - Version 0.2 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 0.1-1 - Initial RPM
/usr/lib/.build-id /usr/lib/.build-id/1c /usr/lib/.build-id/1c/076e015bb5c3060c69a0afb8a898cc447782b4 /usr/lib/.build-id/96 /usr/lib/.build-id/96/2ed65f715b3b4a0eb7147457d7f2062bd78159 /usr/lib/.build-id/ab /usr/lib/.build-id/ab/199e5b91efd8b1302bfc0fca8a9a5be9b0e171 /usr/lib64/ocaml/store /usr/lib64/ocaml/store-dict /usr/lib64/ocaml/store-dict/META /usr/lib64/ocaml/store-dict/store_Dict.cma /usr/lib64/ocaml/store-dict/store_Dict.cmi /usr/lib64/ocaml/store-dict/store_Dict.cmxs /usr/lib64/ocaml/store-pushqueue /usr/lib64/ocaml/store-pushqueue/META /usr/lib64/ocaml/store-pushqueue/store_PushQueue.cma /usr/lib64/ocaml/store-pushqueue/store_PushQueue.cmi /usr/lib64/ocaml/store-pushqueue/store_PushQueue.cmxs /usr/lib64/ocaml/store/META /usr/lib64/ocaml/store/store.cma /usr/lib64/ocaml/store/store.cmi /usr/lib64/ocaml/store/store.cmxs /usr/share/doc/ocaml-store /usr/share/doc/ocaml-store/CHANGES.md /usr/share/doc/ocaml-store/README.md /usr/share/licenses/ocaml-store /usr/share/licenses/ocaml-store/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sat Sep 26 23:02:13 2026