Name: ocaml-alt-ergo-lib-devel	Distribution: Fedora Project
Version: 2.3.3	Vendor: Fedora Project
Release: 22.fc41	Build date: Mon Aug 5 18:37:40 2024
Group: Unspecified	Build host: buildhw-x86-08.iad2.fedoraproject.org
Size: 17990775	Source RPM: alt-ergo-2.3.3-22.fc41.src.rpm
Packager: Fedora Project
Url: https://alt-ergo.ocamlpro.com/
Summary: Development files for ocaml-alt-ergo-lib

Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.

This package contains development files needed to build applications
that use the Alt-Ergo library.

Provides

Requires

ocaml(AltErgoLib) = 5a081e867ffb55fc83dc3425ded51666
ocaml(AltErgoLib__Ac) = 98e637b6e2e13b0fa419cb33bbd44206
ocaml(AltErgoLib__Adt) = 32315c2387a6c52f545daf873571df9e
ocaml(AltErgoLib__Adt_rel) = 26a01cdbdcaf8f2b396f96833fa8764c
ocaml(AltErgoLib__Arith) = 46d1a841ec3843424c2ab657a729e1b6
ocaml(AltErgoLib__Arrays) = 5bd326040f568a168055d36234360e9e
ocaml(AltErgoLib__Arrays_rel) = b95316353a39d881c4fdd7c0d3687b10
ocaml(AltErgoLib__Bitv) = 9af08e1a2016ea330708576cd5b1af65
ocaml(AltErgoLib__Bitv_rel) = 9715b8ce8b76e54b340f1c84c9b7cd64
ocaml(AltErgoLib__Ccx) = 1521ea3061d5844af7ff5204068d8371
ocaml(AltErgoLib__Cnf) = 0dd05c40596f1d388c972ba4a25e663a
ocaml(AltErgoLib__Commands) = d46925923770f0fade3fbd177ca12d31
ocaml(AltErgoLib__Config) = 130045a9055327087a8486176bec9649
ocaml(AltErgoLib__Emap) = 1129844c3cb0b48a20b91561ed3ee32e
ocaml(AltErgoLib__Enum) = 4f8e0733c929c5633d668407bdcd1623
ocaml(AltErgoLib__Enum_rel) = 40156ef79ff33260274cc8059c17c182
ocaml(AltErgoLib__Errors) = 5afd5024bcb11be616f9c850787c05ef
ocaml(AltErgoLib__Explanation) = f97a460e20d45d1bd3e725f59ce1e2fc
ocaml(AltErgoLib__Expr) = 762274f1505d04cd1c251bcba641b6b4
ocaml(AltErgoLib__Fpa_rounding) = f6abb291d52bb836a0d094ff44ee8347
ocaml(AltErgoLib__Fun_sat) = 5b310760e29102b9fbed105b4f3799e0
ocaml(AltErgoLib__Hconsing) = 173010a2e90b0219f5fd05c979f1b1f4
ocaml(AltErgoLib__Hstring) = e3b96d8b54ab9ce5f1941789f3b2f286
ocaml(AltErgoLib__Iheap) = 3461ea097a408991d271254312312c30
ocaml(AltErgoLib__Inequalities) = 894df6868ab48405e36b7bb7de9c122c
ocaml(AltErgoLib__Instances) = dddc10782c400896c171161527db950c
ocaml(AltErgoLib__IntervalCalculus) = 77e90f13f013ce6ea886f511177e099b
ocaml(AltErgoLib__Intervals) = 1d3498f9aaddb652b30b1eb93fd179a3
ocaml(AltErgoLib__Ite) = 15af0d1f461283334bc4c8f98448aa04
ocaml(AltErgoLib__Ite_rel) = 02047520f30c245d2f24bcee7143453f
ocaml(AltErgoLib__Lists) = 01ea18dd4a723bbf3a9d2e72661e1b49
ocaml(AltErgoLib__Loc) = 7534eece14e9f8be59dc86e3983b8f3a
ocaml(AltErgoLib__Matching) = e9ec5681fff361d32959b4e68b054354
ocaml(AltErgoLib__Matching_types) = bde8109b7fd0fe4b827f2e51639b914e
ocaml(AltErgoLib__MyDynlink) = 009ec052eb3b04f5336aac6792e93295
ocaml(AltErgoLib__MyUnix) = d5d367dcbf170b93332c2e7c06d5e2ba
ocaml(AltErgoLib__Numbers) = 8ff7606fbc9dc8bf1e2639906081ce3b
ocaml(AltErgoLib__NumbersInterface) = bd95aaadf1d63e48fff4f185a052a55b
ocaml(AltErgoLib__Options) = ec01cd69ccbd5cee86b0440fcd691f45
ocaml(AltErgoLib__Parsed) = 8f1a2d1ad4e76a1f96dade68affb0964
ocaml(AltErgoLib__Polynome) = ed742d4ce68a1bdf311aa1ce7dc5a291
ocaml(AltErgoLib__Profiling) = 27716dcd3312cdd8db8e931ff4514685
ocaml(AltErgoLib__Records) = 324953e7c75d599582b70b7e247c3717
ocaml(AltErgoLib__Records_rel) = e2566b4cf01e4096d58d6e1b5f953f1c
ocaml(AltErgoLib__Relation) = eef23204c6486f5b3b154cb660bc5180
ocaml(AltErgoLib__Sat_solver_sig) = c1e08c8c88d27643c6d63d7ebe523520
ocaml(AltErgoLib__Satml) = 345b3bb168480f96863193e01f20523e
ocaml(AltErgoLib__Satml_frontend) = 0be3bff36e7e4ee10875aedb6c2ede00
ocaml(AltErgoLib__Satml_frontend_hybrid) = 6c8807f323004c298571e33cf3860151
ocaml(AltErgoLib__Satml_types) = cf3e5d34a0e267648def0036dc794811
ocaml(AltErgoLib__Shostak) = d004fad3b6009f0a4f8e60e6824bd77a
ocaml(AltErgoLib__Sig) = 7bb1e4c6ff54d9823e26be9c34175e6f
ocaml(AltErgoLib__Sig_rel) = b47ad4fd8e0ec1799463367c8bc5733c
ocaml(AltErgoLib__Symbols) = 73b88f4307033f7efd08e17f65120098
ocaml(AltErgoLib__Th_util) = d003621dca41f62e973cbd65259e7545
ocaml(AltErgoLib__Theory) = a9b3cb353edd2535df0d7b071e8b38b8
ocaml(AltErgoLib__Timers) = eef0f45af21653d69d9201eda3b5c8c7
ocaml(AltErgoLib__Ty) = f652bbdcb6c56d7ee11ba6949ff35095
ocaml(AltErgoLib__Typed) = 7a919508353b88d8c2b0d9944ffd721b
ocaml(AltErgoLib__Uf) = 4a4a09c3f8141f6d2b31f520ae67f271
ocaml(AltErgoLib__Use) = 72a3352fe09b3a6876fa334b50616b6f
ocaml(AltErgoLib__Util) = bab5020afe457bd85cbee780f3c7855a
ocaml(AltErgoLib__Var) = 6b516c0026f8bb39b81a3d8aa5685f2c
ocaml(AltErgoLib__Vec) = 770a660ca7d73ef3596e23659c752eb2
ocaml(AltErgoLib__Version) = a82d2ca15cd49ccf1d2f590e51f318c4
ocaml(AltErgoLib__Xliteral) = 379937e63ddc2b55160743ad1b8c013d
ocaml(AltErgoLib__ZarithNumbers) = 4cca2c10929ad29a5f8701e94e44c8c5
ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea
ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af
ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597
ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb
ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c
ocaml(OcplibSimplex) = 66d5dd4f3fc29f12e4e6ad54f3d6c6df
ocaml(Q) = a6fc2b40fa70161f18510a2ce82f2b42
ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092
ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Gc) = 117a859136e8d0cad6ff77491c390228
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3
ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a
ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Parsing) = a97bf8e833e91b9637f92d068ac35a26
ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827
ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca
ocaml(Str) = dae36249353ed938af10fa5eb52188c6
ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda
ocaml(Z) = ca2658ea343645ad5d4facceca973ce7
ocaml-alt-ergo-lib(x86-64) = 2.3.3-22.fc41
ocaml-num-devel(x86-64)
ocaml-ocplib-simplex-devel(x86-64)
ocaml-zarith-devel(x86-64)
ocamlx(Arith_flags) = 76481081a8eeb858b092116d07192ac7
ocamlx(Big_int) = 202998f00d16a975ab8b9ffc9e5fe1f0
ocamlx(CamlinternalFormat) = 13ed96ffabc5dfd1d8a6fec49384f028
ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b
ocamlx(CamlinternalLazy) = ee132f9efcb677d1694a5ed00f1b1b50
ocamlx(CamlinternalMod) = 66b43cb6cb21f7cd3f1b3062981a81a0
ocamlx(CamlinternalOO) = 3bb5173e1a86ae74d96d5b3bc80f14a3
ocamlx(Dynlink) = d5bb801f44135186b643559dc7a4b3d7
ocamlx(Dynlink_types) = 0a0dd8e6d42db08a5f4114323cda41d2
ocamlx(Nat) = 088a1060c6a30527a4a694d71b264256
ocamlx(Num) = c0d5d135c16c0f6b3a6edfb254f78193
ocamlx(OcplibSimplex) = 93c55a1d8508bb3d64c7fcf906e23784
ocamlx(Q) = 1af22509096e7b7d36c73dbb98ae8ebe
ocamlx(Ratio) = 2aab8e78a8913be395d053330d444c02
ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3
ocamlx(Stdlib__Arg) = 5af0ac55008f2a1ec61353126f6f747c
ocamlx(Stdlib__Array) = b3215f99afe054938b4b66df456093cb
ocamlx(Stdlib__Bigarray) = 2fb6f37865dd77a707635669254911e1
ocamlx(Stdlib__Buffer) = 9cacb5fa6a4451adb75efc47c2b240f0
ocamlx(Stdlib__Bytes) = d697a70d28861d97056d724d4ded8186
ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757
ocamlx(Stdlib__Domain) = cc0101b954510b60650e5e09ef15a63f
ocamlx(Stdlib__Filename) = a35b7b7631e90b7f61b97dcbf267b74d
ocamlx(Stdlib__Format) = c3ae601df8ff425e293a74d12df8a999
ocamlx(Stdlib__Gc) = 197914694cd716338b4da966236687f4
ocamlx(Stdlib__Hashtbl) = 32e5b8b459bfbe8d42f9cbdc0881f25b
ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90
ocamlx(Stdlib__Lexing) = c1a768a943b2d5bd82715a40f3ca91a5
ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b
ocamlx(Stdlib__Map) = 11d684f98901a367ba7244cc79e73542
ocamlx(Stdlib__Obj) = 7e1b6f06f070d2b749513eb2e2df1f96
ocamlx(Stdlib__Parsing) = 111a2fa01bf23d64f78c47367d510918
ocamlx(Stdlib__Printexc) = 04d54fbd89d929231dfde66bce57e8a3
ocamlx(Stdlib__Printf) = b1aa742e17271ccbba2673a15537976c
ocamlx(Stdlib__Queue) = 87ff0b1ea7067e1396e89743d90cb6e5
ocamlx(Stdlib__Random) = 8a2126a10d76d3c628e1b10cc98f4557
ocamlx(Stdlib__Scanf) = 830d1ccf20fbc461ddddb28b00a05789
ocamlx(Stdlib__Set) = b049494df265ec800bd69fa20b58ded4
ocamlx(Stdlib__Stack) = 58115a6211e5be4179738513052923d0
ocamlx(Stdlib__String) = 42352162009cc1a7b2a044e7f3165992
ocamlx(Stdlib__Sys) = 820f8619a35f5702e8ebee2cc4b857a0
ocamlx(Stdlib__Weak) = 811b95dd66dc2c7061ac3f60e6e1e7ac
ocamlx(Str) = 99d5daa35a7b0aee0c9f6a37c7815d14
ocamlx(Unix) = 68ab438b4835434514cef99aa39c4907
ocamlx(Z) = 824b141da65e7a4a8263069b6f02d10f
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

License

Apache-2.0

Changelog

* Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-22
  - Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-21
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-20
  - Rebuild for ocaml-zarith 1.14
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-19
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-18
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Add patch to fix misplaced inline attributes
* Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
  - Rebuild for changed ocamlx(Dynlink) hash
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-16
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-14
  - Rebuild for ocaml-num and ocaml-menhir 20231231
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-13
  - OCaml 5.1.1 + s390x code gen fix for Fedora 40
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-12
  - OCaml 5.1.1 rebuild for Fedora 40
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-11
  - OCaml 5.1 rebuild for Fedora 40
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-10
  - Rebuild for ocaml-zarith 1.13
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-8
  - Validate appdata with appstream-util
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-8
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-7
  - OCaml 5.0.0 rebuild
* Fri Mar 24 2023 Jerry James <loganjerry@gmail.com> - 2.3.3-6
  - Dune 3.7.0 changed the install location of mli files
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 2.3.3-5
  - Rebuild OCaml packages for F38
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-3
  - Convert License tag to SPDX
  - Note that the AB plugin has a different license

Files

/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.a
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxa
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Explanation.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Expr.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fpa_rounding.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Frontend.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Fun_sat.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Gc_debug.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hconsing.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Hstring.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Iheap.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Inequalities.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Input.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Instances.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__IntervalCalculus.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Intervals.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ite_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Lists.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Loc.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Matching_types.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyDynlink.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__MyUnix.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Numbers.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumbersInterface.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__NumsNumbers.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Options.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Parsed_interface.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Polynome.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Profiling.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Records_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Relation.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sat_solver_sig.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_frontend_hybrid.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Satml_types.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Shostak.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Sig_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Symbols.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Th_util.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Theory.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Timers.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ty.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typechecker.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Typed.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Uf.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Use.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Util.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Var.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Vec.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Version.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Xliteral.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__ZarithNumbers.cmx
/usr/lib64/ocaml/alt-ergo-lib/dune-package
/usr/lib64/ocaml/alt-ergo-lib/frontend
/usr/lib64/ocaml/alt-ergo-lib/frontend/cnf.mli
/usr/lib64/ocaml/alt-ergo-lib/frontend/frontend.mli
/usr/lib64/ocaml/alt-ergo-lib/frontend/input.mli
/usr/lib64/ocaml/alt-ergo-lib/frontend/parsed_interface.mli
/usr/lib64/ocaml/alt-ergo-lib/frontend/typechecker.mli
/usr/lib64/ocaml/alt-ergo-lib/opam
/usr/lib64/ocaml/alt-ergo-lib/reasoners
/usr/lib64/ocaml/alt-ergo-lib/reasoners/ac.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/adt.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/adt_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/arith.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/arrays.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/arrays_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/bitv.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/bitv_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/ccx.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/enum.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/enum_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/fun_sat.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/inequalities.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/instances.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/intervalCalculus.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/intervals.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/ite.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/ite_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/matching.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/matching_types.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/polynome.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/records.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/records_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/relation.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/sat_solver.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/sat_solver_sig.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/satml.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/satml_frontend.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/satml_frontend_hybrid.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/shostak.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/sig.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/sig_rel.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/th_util.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/theory.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/uf.mli
/usr/lib64/ocaml/alt-ergo-lib/reasoners/use.mli
/usr/lib64/ocaml/alt-ergo-lib/structures
/usr/lib64/ocaml/alt-ergo-lib/structures/commands.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/errors.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/explanation.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/expr.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/fpa_rounding.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/parsed.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/profiling.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/satml_types.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/symbols.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/ty.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/typed.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/var.mli
/usr/lib64/ocaml/alt-ergo-lib/structures/xliteral.mli
/usr/lib64/ocaml/alt-ergo-lib/util
/usr/lib64/ocaml/alt-ergo-lib/util/emap.mli
/usr/lib64/ocaml/alt-ergo-lib/util/gc_debug.mli
/usr/lib64/ocaml/alt-ergo-lib/util/hconsing.mli
/usr/lib64/ocaml/alt-ergo-lib/util/hstring.mli
/usr/lib64/ocaml/alt-ergo-lib/util/iheap.mli
/usr/lib64/ocaml/alt-ergo-lib/util/lists.mli
/usr/lib64/ocaml/alt-ergo-lib/util/loc.mli
/usr/lib64/ocaml/alt-ergo-lib/util/myDynlink.mli
/usr/lib64/ocaml/alt-ergo-lib/util/myUnix.mli
/usr/lib64/ocaml/alt-ergo-lib/util/numbers.mli
/usr/lib64/ocaml/alt-ergo-lib/util/numbersInterface.mli
/usr/lib64/ocaml/alt-ergo-lib/util/numsNumbers.mli
/usr/lib64/ocaml/alt-ergo-lib/util/options.mli
/usr/lib64/ocaml/alt-ergo-lib/util/timers.mli
/usr/lib64/ocaml/alt-ergo-lib/util/util.mli
/usr/lib64/ocaml/alt-ergo-lib/util/vec.mli
/usr/lib64/ocaml/alt-ergo-lib/util/version.mli
/usr/lib64/ocaml/alt-ergo-lib/util/zarithNumbers.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Nov 21 01:49:35 2024

ocaml-alt-ergo-lib-devel-2.3.3-22.fc41 RPM for x86_64

From Fedora Rawhide for x86_64 / o

Provides

Requires

License

Changelog

Files