ocaml-monolith-20250922-1.fc44 RPM for x86_64

From Fedora Rawhide for x86_64 / o

Monolith offers facilities for testing an OCaml library (for instance, a data
structure implementation) by comparing it against a reference implementation.
It can be used to perform either random testing or fuzz testing.  Fuzz testing
relies on the external tool afl-fuzz.

The user must describe what types and operations the library provides.  Under
the best circumstances, this requires 2-3 lines of code per type or operation.
The user must also provide a reference implementation and a candidate
implementation of the library.

Then, like a monkey typing on a keyboard, Monolith attempts to exercise the
library in every possible way, in the hope of discovering a sequence of
operations that leads to an unexpected behavior (that is, a situation where
the library either raises an unexpected exception or returns an incorrect
result).  If such a scenario is discovered, it is printed in the form of an
OCaml program, so as to help the user reproduce the problem.

Monolith assumes that the candidate implementation behaves in a deterministic
way.  (Without this assumption, one cannot hope to reliably produce a
problematic scenario.)  It does however allow nondeterministic specifications,
that is, situations where the candidate implementation is allowed to behave in
several possible ways.

Provides

• ocaml-monolith
• ocaml(Monolith)
• ocaml(Monolith__)
• ocaml(Monolith__BuiltinAbstract)
• ocaml(Monolith__BuiltinArray)
• ocaml(Monolith__BuiltinArrows)
• ocaml(Monolith__BuiltinBool)
• ocaml(Monolith__BuiltinComparison)
• ocaml(Monolith__BuiltinExn)
• ocaml(Monolith__BuiltinInt)
• ocaml(Monolith__BuiltinIteration)
• ocaml(Monolith__BuiltinRot)
• ocaml(Monolith__BuiltinSeq)
• ocaml(Monolith__BuiltinTuple)
• ocaml(Monolith__Clock)
• ocaml(Monolith__Code)
• ocaml(Monolith__Debug)
• ocaml(Monolith__DelayedOutput)
• ocaml(Monolith__Engine)
• ocaml(Monolith__Env)
• ocaml(Monolith__Eq)
• ocaml(Monolith__Error)
• ocaml(Monolith__Gen)
• ocaml(Monolith__GlobalState)
• ocaml(Monolith__Misc)
• ocaml(Monolith__Ops)
• ocaml(Monolith__Print)
• ocaml(Monolith__Spec)
• ocaml(Monolith__Support)
• ocaml(Monolith__Tag)
• ocaml-monolith(x86-64)

Requires

• ocaml(AflPersistent) = 0564dc2d2dbb7ca30684db40487d4c44
• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
• ocaml(Monolith__) = 3e1b9b740d6e034d05dee1360aa9e1ee
• ocaml(Monolith__BuiltinAbstract) = 0f13d5703c142d3d4b85b6ef6a65e03c
• ocaml(Monolith__BuiltinArray) = ee5a4c44eff6be48b9b2c718364ec617
• ocaml(Monolith__BuiltinArrows) = f8763a72d4baf442085f51cf49e1aacb
• ocaml(Monolith__BuiltinBool) = ae8ee1f15a10142dcebb58dce07b4e47
• ocaml(Monolith__BuiltinComparison) = c310765c543ad4425708c9b29cf0da3a
• ocaml(Monolith__BuiltinExn) = da5afd7ca15bea442fb03c998f8d1cc5
• ocaml(Monolith__BuiltinInt) = 2dc0860d468f038d82fed18b7e2d5f66
• ocaml(Monolith__BuiltinIteration) = 7aa43433af916894721e831da3ac38a0
• ocaml(Monolith__BuiltinRot) = 03eb52001f634e3ede20a9abc8f5f919
• ocaml(Monolith__BuiltinSeq) = 6c0884a0b55cd88dae6a25d2baf42668
• ocaml(Monolith__BuiltinTuple) = a9a22779abb973881fd4a01e20af4f9e
• ocaml(Monolith__Clock) = 65c136d5f26ff8fcc99053fcf3950b0b
• ocaml(Monolith__Code) = 893a04196794f7a7b2078e123a745a0c
• ocaml(Monolith__Debug) = b6b5c5778212254ce0902db056583684
• ocaml(Monolith__DelayedOutput) = 0be2a75dea3df7ba3535194c1239b62b
• ocaml(Monolith__Engine) = ba854ab10df2be8b8fa81368a801efb7
• ocaml(Monolith__Env) = b7aedf379a0a6ed410b235088eb54588
• ocaml(Monolith__Eq) = 86d32ae53a432edf1f4bfe21c8bf2097
• ocaml(Monolith__Error) = c88b738ec23e6fe815947d84c28ece22
• ocaml(Monolith__Gen) = e576a0083963e4b579a33e471d735308
• ocaml(Monolith__GlobalState) = 28742c0a67ef95bbb8a83c6351673bad
• ocaml(Monolith__Misc) = 90c35002c62ed789c7b5fe4eae7ec7ed
• ocaml(Monolith__Ops) = 6e09947d34f8ee7711f30a9fcc57ce98
• ocaml(Monolith__Print) = e152fcff68c9ffde7fa8a0324c5c2897
• ocaml(Monolith__Spec) = d7602c6b7569fc8165075fb98ae1f150
• ocaml(Monolith__Support) = c8d02425eeb6f662e91f32c8bf18c903
• ocaml(Monolith__Tag) = d4926abdf7e99c16c3fafc10b80e141c
• ocaml(PPrint) = 91a89ee16cfbb3b0aa5bf98626b0e696
• ocaml(PPrintEngine) = 08739b9f579d4f7564c583578a2608e2
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38
• ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
• ocaml(Stdlib__Bigarray) = 7130a1b8b3b987c6ffc6c2c613151f82
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2
• ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Fun) = cf215dbe3f6e56ca14fc22123b7eb171
• ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
• ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
• ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e
• ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
• ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
• ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• ocaml(Unix) = e9521192ee8ef808261c548f0ea7683f
• 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)

License

LGPL-3.0-or-later

Changelog

* Thu Oct 02 2025 Jerry James <loganjerry@gmail.com> - 20250922-1
  - Initial RPM

Files

/usr/lib/.build-id
/usr/lib/.build-id/bc
/usr/lib/.build-id/bc/6539bd7314698f119eeafb92289c45982eb182
/usr/lib64/ocaml/monolith
/usr/lib64/ocaml/monolith/META
/usr/lib64/ocaml/monolith/Makefile.monolith
/usr/lib64/ocaml/monolith/monolith.cma
/usr/lib64/ocaml/monolith/monolith.cmi
/usr/lib64/ocaml/monolith/monolith.cmxs
/usr/lib64/ocaml/monolith/monolith__.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinAbstract.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinArray.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinArrows.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinBool.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinComparison.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinExn.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinInt.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinIteration.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinRot.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinSeq.cmi
/usr/lib64/ocaml/monolith/monolith__BuiltinTuple.cmi
/usr/lib64/ocaml/monolith/monolith__Clock.cmi
/usr/lib64/ocaml/monolith/monolith__Code.cmi
/usr/lib64/ocaml/monolith/monolith__Debug.cmi
/usr/lib64/ocaml/monolith/monolith__DelayedOutput.cmi
/usr/lib64/ocaml/monolith/monolith__Engine.cmi
/usr/lib64/ocaml/monolith/monolith__Env.cmi
/usr/lib64/ocaml/monolith/monolith__Eq.cmi
/usr/lib64/ocaml/monolith/monolith__Error.cmi
/usr/lib64/ocaml/monolith/monolith__Gen.cmi
/usr/lib64/ocaml/monolith/monolith__GlobalState.cmi
/usr/lib64/ocaml/monolith/monolith__Misc.cmi
/usr/lib64/ocaml/monolith/monolith__Ops.cmi
/usr/lib64/ocaml/monolith/monolith__Print.cmi
/usr/lib64/ocaml/monolith/monolith__Spec.cmi
/usr/lib64/ocaml/monolith/monolith__Support.cmi
/usr/lib64/ocaml/monolith/monolith__Tag.cmi
/usr/share/doc/ocaml-monolith
/usr/share/doc/ocaml-monolith/AUTHORS.md
/usr/share/doc/ocaml-monolith/CHANGES.md
/usr/share/doc/ocaml-monolith/README.md
/usr/share/licenses/ocaml-monolith
/usr/share/licenses/ocaml-monolith/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 5 23:20:49 2025