Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-store-0.2-4.fc45 RPM for s390x

From Fedora Rawhide for s390x / o

Name: ocaml-store Distribution: Fedora Project
Version: 0.2 Vendor: Fedora Project
Release: 4.fc45 Build date: Fri Jul 17 16:50:00 2026
Group: Unspecified Build host: buildvm-s390x-13.s390.fedoraproject.org
Size: 178576 Source RPM: ocaml-store-0.2-4.fc45.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

Provides

Requires

License

MIT

Changelog

* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/10
/usr/lib/.build-id/10/31ee3dbfcd7661e0ea237ba2d12223bbd993e5
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/e5e88e72a59defa38503745d58a23a9f1858e4
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/4d410a7164ff188b7ff23a97a0ac3ae1e81bcc
/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, Thu Jul 30 00:19:37 2026