| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
`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
Generated by rpm2html 1.6