Name: ocaml-alt-ergo-lib-devel	Distribution: Fedora Project
Version: 2.3.3	Vendor: Fedora Project
Release: 17.fc40	Build date: Fri Feb 2 18:12:20 2024
Group: Unspecified	Build host: buildvm-s390x-27.s390.fedoraproject.org
Size: 17929653	Source RPM: alt-ergo-2.3.3-17.fc40.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) = 0e871f6172efcb5b6d8f9413cbf1bc1b
ocaml(AltErgoLib__Ac) = 82fb650653d1986c9a7ba731f0d052c5
ocaml(AltErgoLib__Adt) = 58ce7828bfcf9f50e8da9e1af2ecd992
ocaml(AltErgoLib__Adt_rel) = 24b7171c777573bc003769d20c64b9f1
ocaml(AltErgoLib__Arith) = 29263be5a651eb906df868a29d6d763b
ocaml(AltErgoLib__Arrays) = 88a029fac9ea8f1dd6aa9bd7d56b2916
ocaml(AltErgoLib__Arrays_rel) = 0b28beb312953edf092e754ad7369861
ocaml(AltErgoLib__Bitv) = c731b3dde8cbe49c86cb0ca5fa20aa5c
ocaml(AltErgoLib__Bitv_rel) = dae1d3ddf81b9cc4b98b8a18d145a00c
ocaml(AltErgoLib__Ccx) = fcaecec68c54c50394c38e28287e0bb3
ocaml(AltErgoLib__Cnf) = 1a1ac9a988c41275d4da15a292417670
ocaml(AltErgoLib__Commands) = 847bd1fb60281b5a90c28eda38351597
ocaml(AltErgoLib__Config) = 3f9f7e77372981859d51367252ee80c8
ocaml(AltErgoLib__Emap) = ba580a7f295af5d2ad2d13afd7743d96
ocaml(AltErgoLib__Enum) = 2a4975215e4af05f68c3ab924a5de4f1
ocaml(AltErgoLib__Enum_rel) = d33728363bc9b26f4d5d5c975d9be9e7
ocaml(AltErgoLib__Errors) = 6c4c096a9029d65213a825986672b967
ocaml(AltErgoLib__Explanation) = 12de582b670d44f81ab0fd7ba8a63fc4
ocaml(AltErgoLib__Expr) = 3b4b1f804108308d53f119fe958ba925
ocaml(AltErgoLib__Fpa_rounding) = 45a0c72d66cb6757978faa1fb9260d11
ocaml(AltErgoLib__Fun_sat) = 4abab1cf4ffc0525084ef8a43318ef6b
ocaml(AltErgoLib__Hconsing) = 4225d4a624c2029c94228b678db0eff5
ocaml(AltErgoLib__Hstring) = 4ae204513058e9a3efd911411394aec6
ocaml(AltErgoLib__Iheap) = 2b7193c8faf8cddc6408584228b87bb7
ocaml(AltErgoLib__Inequalities) = f01f3e6067a3d14c5c19f9de70b20b52
ocaml(AltErgoLib__Instances) = a56f3fba5ce78fe7d2b5441cf04e3c58
ocaml(AltErgoLib__IntervalCalculus) = 55d777f891f2e06704fb23191a683185
ocaml(AltErgoLib__Intervals) = b85409efa2c277a00a3955e7f40f8c73
ocaml(AltErgoLib__Ite) = 7999d81ddfc9f870e59e242a35c577c7
ocaml(AltErgoLib__Ite_rel) = ccfde73560d92005bdb73a8970a9869b
ocaml(AltErgoLib__Lists) = e47129de8bc4839ccb07f7f242db518c
ocaml(AltErgoLib__Loc) = 570b49e30eb4595f4166f0e7a6c48e30
ocaml(AltErgoLib__Matching) = debbb7ef3cd6e5064e745b7b7410e34a
ocaml(AltErgoLib__Matching_types) = 4abce3dafa5ab8226bcffc515e3e9dc6
ocaml(AltErgoLib__MyDynlink) = 7aa0c2d013b1f5a5f9894a95c80fe056
ocaml(AltErgoLib__MyUnix) = 4679ce703d8f99a68d404f8aebf585c5
ocaml(AltErgoLib__Numbers) = b6928526eb6925714c682c5419f64f65
ocaml(AltErgoLib__NumbersInterface) = 7075ecad8023763086cfc613255c84ad
ocaml(AltErgoLib__Options) = b4412dc0c54bae05796de3c11cc9abce
ocaml(AltErgoLib__Parsed) = 634775a6b5b6647307263c75bcce9fd7
ocaml(AltErgoLib__Polynome) = 01c189199bfaa231d958ff1641ce113e
ocaml(AltErgoLib__Profiling) = 611531311b4ce018d0ec3d5651d17d05
ocaml(AltErgoLib__Records) = 274d99bf483fa42f6dc429685152b7c7
ocaml(AltErgoLib__Records_rel) = 42accc0d12e7ab38438bbc8a07fa8bf8
ocaml(AltErgoLib__Relation) = 3c01a7d927eaa8698b0243ade3e9b20d
ocaml(AltErgoLib__Sat_solver_sig) = c8983fbf2f95055213ed40aeb0a69679
ocaml(AltErgoLib__Satml) = 36aa5bc74b340df2714432f581d8391d
ocaml(AltErgoLib__Satml_frontend) = 269d9e8f1693343ee0387861f4cd3e69
ocaml(AltErgoLib__Satml_frontend_hybrid) = 999054c9bfd1706756ab3d1765fb64cc
ocaml(AltErgoLib__Satml_types) = 967ede0d40d4e1392a8aad5fe014c353
ocaml(AltErgoLib__Shostak) = 6218efc329b286049920e5947eb7bed9
ocaml(AltErgoLib__Sig) = 4619c856f6922a13efc6f194a319af3f
ocaml(AltErgoLib__Sig_rel) = 86e0b46cc8488f833d1e723edce0ac62
ocaml(AltErgoLib__Symbols) = 7a0659ca76d2fdbdb397cee5ba450616
ocaml(AltErgoLib__Th_util) = b39c04964e66a25a44ebf79cc23ab0b9
ocaml(AltErgoLib__Theory) = 56f94bd19cd4a7935fc56769c67b45ec
ocaml(AltErgoLib__Timers) = 89ae69e026a25c18cb85925dd8d8e0af
ocaml(AltErgoLib__Ty) = 800e2e386c17f67ab1f807e0e09859d9
ocaml(AltErgoLib__Typed) = 3ff3a65d7fd36c4e4789424c8d5fc64f
ocaml(AltErgoLib__Uf) = 8c05da4ebd6dc9f5a039cb4b06569451
ocaml(AltErgoLib__Use) = 53e5cc7ee576e1f81f2c544e658bf254
ocaml(AltErgoLib__Util) = cebd760f33e279b67c89bc31e26180f5
ocaml(AltErgoLib__Var) = f55b9e92a82192cea5be6ab4eb73da13
ocaml(AltErgoLib__Vec) = e7d5da7aa061557bd1fefa70ba5c1961
ocaml(AltErgoLib__Version) = dd122a8947e3cefa82abf5eac9778804
ocaml(AltErgoLib__Xliteral) = a7cb61ad70ff10725161c54d7c98e206
ocaml(AltErgoLib__ZarithNumbers) = 74b945565c7cb98bfa72f669cf834513
ocaml(Big_int) = 7414145e70a150c6b9a709d7f811e8cf
ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae
ocaml(CamlinternalLazy) = 24528204a58c2912a77812f0a2439856
ocaml(CamlinternalMod) = bac12862725f52686cbfa1d830ec2b83
ocaml(Dynlink) = c3a2790d80cc3ab18ef6d5279484247f
ocaml(Nat) = b9f6238e5f91bbc57ed776bfe4908ec0
ocaml(Num) = 5e4464e422cbdd27d1906114941ae155
ocaml(OcplibSimplex) = 2075400216069da28b601d4bd7f6d06b
ocaml(Q) = da07e1c0e14d68e61fee3fb8fda4147f
ocaml(Ratio) = 85b1f1b47f2341577f76b419fa8f1257
ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf
ocaml(Stdlib__Arg) = 18253dcec67095590704d82c26fe23cf
ocaml(Stdlib__Array) = 52e44fdea03eac380addda1bf0f21120
ocaml(Stdlib__Bigarray) = 7c919af812ad8dfb0033b8dde0d08c07
ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351
ocaml(Stdlib__Char) = b3349238be8a9667e7f08c64bf2ed465
ocaml(Stdlib__Complex) = e64ee90eddc7b10ec8fbe26c11240f8e
ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28
ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08
ocaml(Stdlib__Filename) = 7aa3d26ec3f7ff811d5349b4988d6820
ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee
ocaml(Stdlib__Gc) = 5eb53c91ce0f29e01cf703bc08f1f6ef
ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868
ocaml(Stdlib__Int32) = f83b5c153cc85f2fcd7b605b4364096f
ocaml(Stdlib__Int64) = 4083d22bff8ac50e44fcd319f4c95a1f
ocaml(Stdlib__Lazy) = 9339b146fb57b73e973430d5ffd6c52e
ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4
ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328
ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050
ocaml(Stdlib__Nativeint) = a7cfe093e92b186c7805358e8d76fc8a
ocaml(Stdlib__Obj) = 111b50f0cfcc8a94d252818567fe891b
ocaml(Stdlib__Parsing) = f3155bb6c5a82e83c992ba76dd850511
ocaml(Stdlib__Printexc) = d975a8ebb36f69a7ebff19112564c073
ocaml(Stdlib__Queue) = 45bb28015d453b28150a7e89bf1a5c98
ocaml(Stdlib__Random) = 14055871ab1ada985887fe17857a4bc8
ocaml(Stdlib__Scanf) = 83da141a71f157410ce5f4fb14d1663f
ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c
ocaml(Stdlib__Set) = 377c5c852dd2b05c647cdf11b66f92ab
ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3
ocaml(Stdlib__Sys) = 35430876c7d8c929086fdca8efc73e48
ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5
ocaml(Stdlib__Weak) = 8348b51bae18e00681b418bb15907a6c
ocaml(Str) = bd4d70b70c8423b47459a789150b0e09
ocaml(Unix) = 3a423732520b05536abd290bef5048fe
ocaml(Z) = fdc4d8381bc74f86dcda1f279434e96f
ocaml-alt-ergo-lib(s390-64) = 2.3.3-17.fc40
ocaml-num-devel(s390-64)
ocaml-ocplib-simplex-devel(s390-64)
ocaml-zarith-devel(s390-64)
ocamlx(Arith_flags) = 6253f728b9f32e55b1bb21e506b45a23
ocamlx(Big_int) = d47b6ef268aded30217588f2d406668e
ocamlx(CamlinternalFormat) = 9a005242d7bd0b1cb1d2540d962fd0b0
ocamlx(CamlinternalFormatBasics) = b9f07a3e5ac230e60aae78886c488132
ocamlx(CamlinternalLazy) = 194281a4c0b34d6df92c994a22305b2f
ocamlx(CamlinternalMod) = 542ca90c212f9f57818612483cb14289
ocamlx(CamlinternalOO) = f0008b8fcbb89b52bdb060e0d87b0f4d
ocamlx(Dynlink) = c177ae5e19e7513efbd782127bd6e51b
ocamlx(Dynlink_types) = 961d6e5e60c1129aaae2dde6acee1b6d
ocamlx(Nat) = f836934f722befe412668c5bc801d159
ocamlx(Num) = 191cc2e0945733e08a149c268e2ccd43
ocamlx(OcplibSimplex) = 1cdc459416a49d89b50dc07ae04980bf
ocamlx(Q) = 16a62e485f2f51b4d40485d091c5e95e
ocamlx(Ratio) = 8c17733f87d785c7f3387cab53d46fab
ocamlx(Stdlib) = 7c3fb23fb2557acd252ec040e1020319
ocamlx(Stdlib__Arg) = 3f25eeddd55c2c3880e81ec174a0c31c
ocamlx(Stdlib__Array) = 7dd40976256931e4d772de0eaa4882af
ocamlx(Stdlib__Bigarray) = 60fca0e2e46765b394b558630be1a3a2
ocamlx(Stdlib__Buffer) = e4c146be6b9e28c003fe376f4f29fe95
ocamlx(Stdlib__Bytes) = 18243b44b5ae97724209238344134c14
ocamlx(Stdlib__Char) = ad386aeaa4c1089b5b0764954c0b14c4
ocamlx(Stdlib__Domain) = b28b43cc24406f2b2c96a530e3625e74
ocamlx(Stdlib__Filename) = 6a2b2f79156fc5a2cc3d0cab84d642ef
ocamlx(Stdlib__Format) = 81ad0886c2d5b240de6726b220343a74
ocamlx(Stdlib__Gc) = ee1816df3ecad19801d1b588a8770353
ocamlx(Stdlib__Hashtbl) = 208562eaf354f1c8f8d2640530e9554b
ocamlx(Stdlib__Int64) = 9e48b26472bb5c3f712d1f84eb6a623d
ocamlx(Stdlib__Lexing) = 53de3a7f4f28570427562570d22fc586
ocamlx(Stdlib__List) = 20be74b4596423cab2792d8275abf1ea
ocamlx(Stdlib__Map) = d7737942c5625730727bcadfc4ba76b6
ocamlx(Stdlib__Obj) = 146c171f615ea507038ff82c4a25049d
ocamlx(Stdlib__Parsing) = 394146f6c89b4d4827ddcc084172c3b9
ocamlx(Stdlib__Printexc) = 5450d3de5aeedd01c9e33026d8ce6b64
ocamlx(Stdlib__Printf) = 6d9dd84c45abe0d1a2fd2883f74b053c
ocamlx(Stdlib__Queue) = 87483c562a9afed53eac449b2b14e4a6
ocamlx(Stdlib__Random) = 644da7175502a915f5abac66defd8ac2
ocamlx(Stdlib__Scanf) = 012ea405afe4b5f2f2bfb26ea8d3710e
ocamlx(Stdlib__Set) = 3f470bba8ad87a318f5ab380e5982b96
ocamlx(Stdlib__Stack) = 25ef43b5df10adbb5e146ae20fd58031
ocamlx(Stdlib__String) = 7c76d827f648f8cefc19b259716cc794
ocamlx(Stdlib__Sys) = c0d19d1b9a269f986f7b65d56fef01c5
ocamlx(Stdlib__Weak) = e74bdf56b3a6730120242d563a298cb8
ocamlx(Str) = 9da3d6eeb030da48a6d8375eb3bef226
ocamlx(Unix) = a2e58fe791e0ffcee8c871f52b232ea7
ocamlx(Z) = 9fd00b8b5851e36edc073ec6c02e0157
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

* 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
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Jul 05 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-2
  - Patch out uses of the dune external-lib-deps command
  - Patch out references to the seq forward compatibility module
  - Use new OCaml macros
* Mon Jun 20 2022 Jerry James <loganjerry@gmail.com> - 2.3.3-1
  - Version 2.3.3
  - Add -menhir patch to fix FTBFS
  - Add -stdlib-shims patch since Fedora does not need stdlib-shims
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 2.3.0-5
  - OCaml 4.14.0 rebuild
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 2.3.0-4
  - Switch to the correct tarball
  - Drop unneeded ocaml-findlib BR
  - Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 2.3.0-3
  - OCaml 4.13.1 rebuild to remove package notes

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, Sat Apr 27 04:09:42 2024

ocaml-alt-ergo-lib-devel-2.3.3-17.fc40 RPM for s390x

From Fedora Rawhide for s390x / o

Provides

Requires

License

Changelog

Files