Name: ocaml-psmt2-frontend-devel	Distribution: Fedora Project
Version: 0.4.0	Vendor: Fedora Project
Release: 11.fc39	Build date: Thu Jul 20 19:36:07 2023
Group: Unspecified	Build host: buildvm-x86-09.iad2.fedoraproject.org
Size: 8038790	Source RPM: ocaml-psmt2-frontend-0.4.0-11.fc39.src.rpm
Packager: Fedora Project
Url: https://github.com/ACoquereau/psmt2-frontend
Summary: Development files for ocaml-psmt2-frontend

The ocaml-psmt2-frontend-devel package contains libraries and signature
files for developing applications that use ocaml-psmt2-frontend.

Provides

Requires

ocaml(CamlinternalFormatBasics) = cecfafd5c021473f5e358c96ac7502a0
ocaml(Psmt2Frontend) = 0ab297b4b0711d656b172837abc11452
ocaml(Psmt2Frontend__Options) = 7d7b72ebf84d4dfb4b996c96b0470e12
ocaml(Psmt2Frontend__Smtlib_error) = 6407385f4f368d53d5952fb397f6bdc9
ocaml(Psmt2Frontend__Smtlib_parser) = 619f7f44689c46a50ea4a85165254816
ocaml(Psmt2Frontend__Smtlib_printer) = 7e02e0c6fdac48d01c2b776f19230214
ocaml(Psmt2Frontend__Smtlib_syntax) = 0b284fa3ea9ca81f3b4cf1ee462140ca
ocaml(Psmt2Frontend__Smtlib_ty) = 20caf42ce0d1a3851b588ef379a1ab63
ocaml(Psmt2Frontend__Smtlib_typed_env) = b9e48d85d7b8701d0b500d9801f7e034
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 8d3adeaee5bdfe5a90a5f72d22b20543
ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
ocaml(Stdlib__Lexing) = be62854f0fbcd8531fe531cd00e34821
ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
ocaml(Stdlib__Map) = 71415964978d1cf0c1701af1137aa1ea
ocaml(Stdlib__Printf) = 8debea255efc834da5c1bc2e73f09214
ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
ocaml(Stdlib__Stack) = 2c058a31c4619e2e1504072ca87f6bee
ocaml(Stdlib__String) = facad7e0dada5941148738b8188d844f
ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
ocaml-psmt2-frontend(x86-64) = 0.4.0-11.fc39
ocamlx(CamlinternalFormat) = 58f88a5a5c64196bd9b440558fffce16
ocamlx(Psmt2Frontend__Options) = 508afbc2d7b88a1f116d24afde45ea54
ocamlx(Psmt2Frontend__Smtlib_error) = 504cd0675ba902cb4b8d83a1e0efa689
ocamlx(Psmt2Frontend__Smtlib_printer) = c9897e5a83108714426572b4626d5c60
ocamlx(Psmt2Frontend__Smtlib_ty) = 989ae94135ac7cc55ca71cec0acf4ee5
ocamlx(Psmt2Frontend__Smtlib_typed_env) = b1c8a1c1e88b12debf16cc911a04e9ea
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ba55df21113e64f99bf58539c23b786d
ocamlx(Stdlib) = c6f226e44d674edd1d531948ff863828
ocamlx(Stdlib__Bytes) = cb1095d933ce955029ed699727baead0
ocamlx(Stdlib__Domain) = d7f8796322f2cd99efcf341f8e42acf4
ocamlx(Stdlib__Format) = c94bb08665553c56dece8353dbff3b32
ocamlx(Stdlib__Hashtbl) = acdc6437bcb9e7a81c6ed8660e82b471
ocamlx(Stdlib__Lexing) = 76289d92733d00a1d4c106dfb93c8ac7
ocamlx(Stdlib__List) = b78ab95aebcef67de9b99ec053edb534
ocamlx(Stdlib__Map) = 7b1e4df07736a72638c021a5a9ffbccd
ocamlx(Stdlib__Printf) = 662e9ca31ecdf5f11c9788ed827feb11
ocamlx(Stdlib__Random) = 2617b12d0fefbf237d757668e0688155
ocamlx(Stdlib__Stack) = 018afd60df09186eaef4d0d459f62321
ocamlx(Stdlib__String) = ff814de8355985ea0e450e0986a59446
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

* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-10
  - OCaml 5.0 rebuild for Fedora 39
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.4.0-9
  - OCaml 5.0.0 rebuild
* Tue Mar 21 2023 Jerry James <loganjerry@gmail.com> - 0.4.0-8
  - Add patch for Sphinx 6.x compatibility (rhbz#2180496)
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-7
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Dec 12 2022 Jerry James <loganjerry@gmail.com> - 0.4.0-5
  - New URL
  - Convert License tag to SPDX
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jul 21 2022 Jerry James <loganjerry@gmail.com> - 0.4.0-4
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-4
  - OCaml 4.14.0 rebuild
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.4.0-3
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.4.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.4.0-1
  - Version 0.4.0
  - Drop obsolete -autoconf patch
  - Add %check script
  - Add -docs subpackage
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 0.1-11
  - OCaml 4.13.1 build
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.1-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Files

/usr/lib64/ocaml/psmt2-frontend/dune-package
/usr/lib64/ocaml/psmt2-frontend/main.ml
/usr/lib64/ocaml/psmt2-frontend/opam
/usr/lib64/ocaml/psmt2-frontend/options.mli
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
/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.ml
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx
/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli
/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml
/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml
/usr/lib64/ocaml/psmt2-frontend/version.mli
/usr/lib64/ocaml/psmt2-frontend_bin/dune-package
/usr/lib64/ocaml/psmt2-frontend_bin/opam

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 21:55:09 2024

ocaml-psmt2-frontend-devel-0.4.0-11.fc39 RPM for x86_64

From Fedora 39 for x86_64 / o

Provides

Requires

License

Changelog

Files