ocaml-psmt2-frontend-0.1-9.mga8 RPM for x86_64

From Mageia 8 for x86_64 / media / core / release

A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.

Provides

• ocaml-psmt2-frontend
• ocaml(Psmt2Frontend)
• ocaml-psmt2-frontend(x86-64)
• ocamlx(Psmt2Frontend)

Requires

• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
• ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
• ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
• ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018
• ocaml(Stdlib__hashtbl) = ae8edb4e1fa8a825285031ff0efc80c8
• ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf
• ocaml(Stdlib__lexing) = af4fe7604d37ed7010a342d5a704e3c5
• ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a
• ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1
• ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6
• ocaml(Stdlib__printf) = 908ae2bf186b4ad7c88e5443c57d73af
• ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
• ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e
• ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
• ocamlx(Stdlib) = 6b88613cf2b6620d6f11cd8a342880fc
• ocamlx(Stdlib__format) = 640a01647329f0a32f48a8a90a89014f
• ocamlx(Stdlib__hashtbl) = 1f15ad224dfe918b6a17c157f0f5836e
• ocamlx(Stdlib__lexing) = e7ce663ca25a827e8cc02172a8f8f6fb
• ocamlx(Stdlib__list) = e3a5f633b69d62d35929d9e3f6c26a20
• ocamlx(Stdlib__map) = 3ed208b888965290b89d720efaf17612
• ocamlx(Stdlib__printf) = 19b790b69e71cc8a18d06eb2330f9df4
• ocamlx(Stdlib__string) = c268f14a681ed6708f8a9cb396a73317
• 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

* Sat Aug 22 2020 tv <tv> 0.1-9.mga8
  + Revision: 1617869
  - Rebuild for new ocaml deps generator
* Fri Feb 28 2020 umeabot <umeabot> 0.1-8.mga8
  + Revision: 1551460
  - Rebuild for ocaml 4.10.0 final
* Wed Feb 19 2020 umeabot <umeabot> 0.1-7.mga8
  + Revision: 1544193
  - Mageia 8 Mass Rebuild
* Fri Jan 24 2020 tv <tv> 0.1-6.mga8
  + Revision: 1482694
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
* Wed Jun 19 2019 tmb <tmb> 0.1-5.mga7
  + Revision: 1400356
  - rebuild for armv7
* Wed Jun 19 2019 tmb <tmb> 0.1-4.mga7
  + Revision: 1400350
  - rollback to 0.1
* Fri Jan 18 2019 kekepower <kekepower> 0.2-1.mga7
  + Revision: 1357968
  - Update to version 0.2
  - Rediffed patches
* Tue Oct 23 2018 pterjan <pterjan> 0.1-3.mga7
  + Revision: 1324403
  - Rebuild for ocaml 4.07.1
* Sun Sep 23 2018 umeabot <umeabot> 0.1-2.mga7
  + Revision: 1299920
  - Mageia 7 Mass Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/70
/usr/lib/.build-id/70/7741c3e76d4ef110220721770a78e94d8377ed
/usr/lib64/ocaml/psmt2-frontend
/usr/lib64/ocaml/psmt2-frontend/META
/usr/lib64/ocaml/psmt2-frontend/options.mli
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmo
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.o
/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib64/ocaml/psmt2-frontend/version.mli
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 15:38:33 2024