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

From Mageia 8 for i586 / 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-32)
• ocamlx(Psmt2Frontend)

Requires

• libc.so.6
• libc.so.6(GLIBC_2.1.3)
• 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) = 49251ee46c5a6af8953e9d71cb963d6a
• ocamlx(Stdlib__format) = 759600189995a86351afd2ec1f3d2628
• ocamlx(Stdlib__hashtbl) = abf8331aef44e03a06cc351386eee370
• ocamlx(Stdlib__lexing) = 2044ceadae14e4a33fe77603f52123f9
• ocamlx(Stdlib__list) = 9fa7b040539187d612a64f25d4ab4763
• ocamlx(Stdlib__map) = 957fb8a56079cf9657fc8fbe9d167632
• ocamlx(Stdlib__printf) = 7e37a4b7747b4eba2b60a05bf1ee4ea8
• ocamlx(Stdlib__string) = 32aa8a186c78e4246742332bafa1c9ce
• 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/a50609829a38004e533621012726de0e8bd8dc
/usr/lib/ocaml/psmt2-frontend
/usr/lib/ocaml/psmt2-frontend/META
/usr/lib/ocaml/psmt2-frontend/options.mli
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmo
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.o
/usr/lib/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib/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, Sun Oct 13 08:20:58 2024