alt-ergo-2.2.0-10.mga8 RPM for x86_64

From Mageia 8 for x86_64 / media / core / release

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.

Provides

• alt-ergo
• alt-ergo(x86-64)
• ocaml(AltErgoLib)
• ocamlx(AltErgoLib)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.10)(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.16)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libc.so.6(GLIBC_2.7)(64bit)
• libc.so.6(GLIBC_2.9)(64bit)
• libdl.so.2()(64bit)
• libdl.so.2(GLIBC_2.2.5)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(64bit)
• libm.so.6(GLIBC_2.27)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libz.so.1()(64bit)
• ocaml(Big_int) = 51989d0957c8c35ee5a7f938ed839058
• ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
• ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4
• ocaml(CamlinternalMod) = af94199ed44285f84e5dc816919fab44
• ocaml(Dynlink) = c6e85eecd953497826b689c46820b1ed
• ocaml(Nat) = fbce541aa1c2789a1c8188f69308fd0a
• ocaml(Num) = 0cc9a7e5ce0180429a4bb6c270582075
• ocaml(OcplibSimplex) = b7f8e56e5264e8884911e3af130cdf14
• ocaml(Psmt2Frontend) = e2a3a14458ad2fa2407f4562e3f5a823
• ocaml(Q) = 3cadae05bfd63c15c868c18e8ffd5eb7
• ocaml(Ratio) = f186d6a275fe6fd5dba0e755b9000e9f
• ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
• ocaml(Stdlib__arg) = 965c9e33adab6e9e8dc021fbfa95558d
• ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024
• ocaml(Stdlib__bigarray) = 33ee4c2e3aa5fb2f083dd780ce492c0b
• ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
• ocaml(Stdlib__char) = 2f2acf8bdbc1a264012f13ea21fa0c4b
• ocaml(Stdlib__complex) = 067e32179a81c1c8dbdd0a8d52b0c645
• ocaml(Stdlib__filename) = e70d852a325736bc7266750bcc2e69f2
• ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018
• ocaml(Stdlib__gc) = 7fd146e11f52aa63b80f74c58258be74
• ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8
• ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf
• ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4
• ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc
• ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5
• ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a
• ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1
• ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6
• ocaml(Stdlib__parsing) = 0f8a2f81be75a9e86f670a6fef3a7f30
• ocaml(Stdlib__pervasives) = b21448628d3d122ebdaa9995cac0ba7f
• ocaml(Stdlib__printexc) = ed69988976f47e63364ac57d164dda5f
• ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af
• ocaml(Stdlib__queue) = 03c7b1e419bb4f4383376912cbd6bf5a
• ocaml(Stdlib__scanf) = e84e0fc8d2ad94705113ca03bfc9de5a
• ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
• ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf
• ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e
• ocaml(Stdlib__sys) = bb80c4c4a8134d83861bb3ff49d07ce4
• ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
• ocaml(Stdlib__weak) = 566904bc5a0ffe372f2b7937579598cc
• ocaml(Str) = c5bcee777d07f9d2f20c78da78387372
• ocaml(Unix) = ba30fbe5ee87d3d4d5bd805af35f363b
• ocaml(Z) = 86f26e9405bfebf07d145852db71a09d
• ocaml(Zip) = 82a41225fe0caa7fb1c9b3de8060552b
• ocamlx(Big_int) = f85f2ca6b5eecb4d8a8055b9558d5aea
• ocamlx(CamlinternalLazy) = dddd3ac46ea6780f2847c7da43f41f5b
• ocamlx(CamlinternalMod) = c7b4d54e7a5caa93feb83a5618f624fb
• ocamlx(Dynlink) = 43529bf577c1d9d79bf83fb32f16ffd6
• ocamlx(Num) = 3e2323ba0d093f566fcb0bbbf83979d4
• ocamlx(OcplibSimplex) = f94462a040ee477df7c2f74ca904ac06
• ocamlx(Psmt2Frontend) = 31e548065a25ca56d25f83dfe8397db7
• ocamlx(Q) = 380b5463b42b179fdf69ecc79b86bd14
• ocamlx(Ratio) = a3cf53f9c1fe8da8e210fd8b237a0b14
• ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc
• ocamlx(Stdlib__arg) = cb1eaa0d37316e516697f64cadc75f5f
• ocamlx(Stdlib__array) = d8cbd5c6bb9dc377a421cad028946a12
• ocamlx(Stdlib__buffer) = 5a4eb38b27225067d0fbce3397ab57fa
• ocamlx(Stdlib__char) = d80ec3dec044dcabdaf3546ec3ca4692
• ocamlx(Stdlib__filename) = 4acdb6cb1dcdea0eb5f64c37cb1fa406
• ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f
• ocamlx(Stdlib__gc) = 88ea814453410dc94978809800d4f5da
• ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e
• ocamlx(Stdlib__int64) = 245f7406b24fc324c213f37aeb9bd563
• ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb
• ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20
• ocamlx(Stdlib__map) = 3ed208b888965290b89d720efaf17612
• ocamlx(Stdlib__parsing) = 6cc6af62ef0c74e718bcf92be05fd292
• ocamlx(Stdlib__pervasives) = a4e6439f19e44d97d49bbd087347b9ec
• ocamlx(Stdlib__printexc) = 678fbefb5bcbeaeb7afb5ae5ca515b17
• ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4
• ocamlx(Stdlib__queue) = 81c3e47f06925d2c8ab234b197abc367
• ocamlx(Stdlib__scanf) = 70e0ba7c9ddc1a8ecb11ae0eee0f2313
• ocamlx(Stdlib__set) = 82f5cc8aac133142447f442798e3e68e
• ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317
• ocamlx(Stdlib__sys) = cc30c95de291d0ad184f95f6134db5d2
• ocamlx(Stdlib__weak) = b8f1a2821001d118c5570770bb7b673f
• ocamlx(Str) = b2619808edfd808b4097e5ec36277e82
• ocamlx(Unix) = ba030e73c9a8a296035219290541184c
• ocamlx(Z) = ec555c299aae5c588dd65306beb24133
• ocamlx(Zip) = 8b31b4ad3d079f4dc52a5450d5228426
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

ASL 2.0

Changelog

* Wed Aug 19 2020 martinw <martinw> 2.2.0-10.mga8
  + Revision: 1615508
  - use free (ASL 2.0 licensed) version
  - drop GUI package (needs obsolete gtksourceview2)
* Fri Feb 28 2020 umeabot <umeabot> 2.2.0-9.mga8
  + Revision: 1551478
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 2.2.0-8.mga8
  + Revision: 1544291
  - Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv <tv> 2.2.0-7.mga8
  + Revision: 1482733
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
  + daviddavid <daviddavid>
  - rebuild for new ocaml-psmt2-frontend 0.2
* Thu Oct 25 2018 daviddavid <daviddavid> 2.2.0-5.mga7
  + Revision: 1325199
  - rebuild for new ocaml 4.07.1
* Fri Sep 21 2018 umeabot <umeabot> 2.2.0-4.mga7
  + Revision: 1294308
  - Mageia 7 Mass Rebuild

Files

/usr/bin/alt-ergo
/usr/lib/.build-id
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/df7ac793252b6bf6e207e9d314ce11b030d26b
/usr/lib/.build-id/95
/usr/lib/.build-id/95/2b3e19d6afb703f8fcfd6eab9cb017aae74292
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/23b19a88cc1b30017af85ebdcd8eb5b75011ba
/usr/lib64/alt-ergo
/usr/lib64/alt-ergo/META
/usr/lib64/alt-ergo/altErgoLib.a
/usr/lib64/alt-ergo/altErgoLib.cma
/usr/lib64/alt-ergo/altErgoLib.cmi
/usr/lib64/alt-ergo/altErgoLib.cmo
/usr/lib64/alt-ergo/altErgoLib.cmt
/usr/lib64/alt-ergo/altErgoLib.cmx
/usr/lib64/alt-ergo/altErgoLib.cmxa
/usr/lib64/alt-ergo/altErgoLib.cmxs
/usr/lib64/alt-ergo/altErgoLib.o
/usr/lib64/alt-ergo/plugins
/usr/lib64/alt-ergo/plugins/fm-simplex-plugin.cmxs
/usr/lib64/alt-ergo/preludes
/usr/lib64/alt-ergo/preludes/fpa-theory-2017-01-04-16h00.why
/usr/share/doc/alt-ergo
/usr/share/doc/alt-ergo/CHANGES
/usr/share/doc/alt-ergo/LICENSE.md
/usr/share/doc/alt-ergo/README.md
/usr/share/doc/alt-ergo/doc
/usr/share/doc/alt-ergo/doc/alt-ergo.1
/usr/share/doc/alt-ergo/doc/gtk-lang
/usr/share/doc/alt-ergo/doc/gtk-lang/alt-ergo.lang
/usr/share/man/man1/alt-ergo.1.xz

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Oct 13 10:18:22 2024