Wed, 28 Oct 2026 22:16:13 UTC | login

Information for RPM ocaml-store-0.2-4.fc45.riscv64.rpm

ID58736
Buildocaml-store-0.2-4.fc45
Nameocaml-store
Version0.2
Release4.fc45
Epoch
Archriscv64
DraftFalse
SummarySnapshottable data structures
Description`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
Build Time2026-10-16 13:13:53 GMT
Size101.20 KB
ec2fd0b4985f4a620e5b21176f696d68
LicenseMIT
git:https://gitlab.com/basile.clement/store.git
Buildrootf45-build-20810-573
Provides
ocaml(Store) = 5178a23d0e38875cd10758ab4ab00cb4
ocaml(Store_Dict) = af29c543904134a36bad0e17320b5168
ocaml(Store_PushQueue) = fe26036f7344ff28080444b739437d27
ocaml-store = 0.2-4.fc45
ocaml-store(riscv-64) = 0.2-4.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79
ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
ocaml(Stdlib__Dynarray) = f6059550692225ba559966a00947b52a
ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e
ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a
ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
ocaml(Stdlib__Obj) = 26b40efd5c9a30f8c9c87c6133b5adbf
ocaml(Stdlib__Printexc) = 3eb12037663b6b68977615f9862f8f66
ocaml(Stdlib__Printf) = 3303d43852c2d96a670040b4fc4aefc6
ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
ocaml(Store) = 5178a23d0e38875cd10758ab4ab00cb4
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 27 of 27
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/020.00 B
/usr/lib/.build-id/02/302c423ec14f515a333a1c1c84abf6a3983ed964.00 B
/usr/lib/.build-id/910.00 B
/usr/lib/.build-id/91/0da159d6655bd45c6b873dcfd2f44826e5d1f844.00 B
/usr/lib/.build-id/fc0.00 B
/usr/lib/.build-id/fc/dfb5f8085addac944fbf3ce6ffa713bd47b1d954.00 B
/usr/lib64/ocaml/store0.00 B
/usr/lib64/ocaml/store-dict0.00 B
/usr/lib64/ocaml/store-dict/META187.00 B
/usr/lib64/ocaml/store-dict/store_Dict.cma20.99 KB
/usr/lib64/ocaml/store-dict/store_Dict.cmi2.90 KB
/usr/lib64/ocaml/store-dict/store_Dict.cmxs39.50 KB
/usr/lib64/ocaml/store-pushqueue0.00 B
/usr/lib64/ocaml/store-pushqueue/META207.00 B
/usr/lib64/ocaml/store-pushqueue/store_PushQueue.cma4.57 KB
/usr/lib64/ocaml/store-pushqueue/store_PushQueue.cmi601.00 B
/usr/lib64/ocaml/store-pushqueue/store_PushQueue.cmxs15.99 KB
/usr/lib64/ocaml/store/META162.00 B
/usr/lib64/ocaml/store/store.cma42.72 KB
/usr/lib64/ocaml/store/store.cmi1.97 KB
/usr/lib64/ocaml/store/store.cmxs45.95 KB
/usr/share/doc/ocaml-store0.00 B
/usr/share/doc/ocaml-store/CHANGES.md115.00 B
/usr/share/doc/ocaml-store/README.md1.29 KB
/usr/share/licenses/ocaml-store0.00 B
/usr/share/licenses/ocaml-store/LICENSE1.08 KB
Component of No Buildroots