ocaml-ocplib-simplex-0.4.1-13.fc43 RPM for x86_64

From Fedora Rawhide for x86_64 / o

This package contains a library implementing a simplex algorithm, in a
functional style, for solving systems of linear inequalities and
optimizing linear objective functions.

Provides

• ocaml-ocplib-simplex
• ocaml(OcplibSimplex)
• ocaml-ocplib-simplex(x86-64)

Requires

• ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
• ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
• ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
• ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
• ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
• ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
• ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
• ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
• ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
• ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
• ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
• ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627
• ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
• 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-2.1-only WITH OCaml-LGPL-linking-exception

Changelog

* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1:0.4.1-13
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 11 2025 Jerry James  <loganjerry@gmail.com> - 1:0.4.1-12
  - Rebuild to fix OCaml dependencies
* Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1:0.4.1-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 09 2025 Jerry James <loganjerry@gmail.com> - 1:0.4.1-10
  - OCaml 5.3.0 rebuild for Fedora 42
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:0.4.1-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 1:0.4.1-8
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 1:0.4.1-7
  - OCaml 5.2.0 for Fedora 41
* Mon Jan 29 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:0.4.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:0.4.1-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1:0.4.1-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 1:0.4.1-3
  - Reenable the tests
* Mon Dec 18 2023 Jerry James <loganjerry@gmail.com> - 1:0.4.1-2
  - Fix devel package dependency on the main package
* Mon Dec 18 2023 Jerry James <loganjerry@gmail.com> - 1:0.4.1-1
  - Revert to version 0.4.1 to avoid alt-ergo breakage
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.5-1
  - New upstream version 0.5
  - Uses dune build system (instead of autotools).
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.1-5
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.1-4
  - OCaml 5.1 rebuild for Fedora 40

Files

/usr/lib/.build-id
/usr/lib/.build-id/59
/usr/lib/.build-id/59/1e632760972f93fe220372a4f84ade2bd13293
/usr/lib64/ocaml/ocplib-simplex
/usr/lib64/ocaml/ocplib-simplex/META
/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cma
/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmi
/usr/lib64/ocaml/ocplib-simplex/ocplibSimplex.cmxs
/usr/share/doc/ocaml-ocplib-simplex
/usr/share/doc/ocaml-ocplib-simplex/README.md
/usr/share/licenses/ocaml-ocplib-simplex
/usr/share/licenses/ocaml-ocplib-simplex/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jul 31 00:20:01 2025