ocaml-alt-ergo-parsers-devel-2.3.3-22.fc41 in Fedora 41

↵ Return to the main page of ocaml-alt-ergo-parsers-devel
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date	Author	Change
2024-08-05	Jerry James <loganjerry at gmail dot com> - 2.3.3-22	- Rebuild for ocaml-menhir 20240715 and ocaml-zip 1.12
2024-07-17	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-21	- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16	Jerry James <loganjerry at gmail dot com> - 2.3.3-20	- Rebuild for ocaml-zarith 1.14
2024-06-19	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-19	- OCaml 5.2.0 ppc64le fix
2024-05-29	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-18	- OCaml 5.2.0 for Fedora 41
2024-05-23	Jerry James <loganjerry at gmail dot com> - 2.3.3-17	- Add patch to fix misplaced inline attributes
2024-02-02	Jerry James <loganjerry at gmail dot com> - 2.3.3-17	- Rebuild for changed ocamlx(Dynlink) hash
2024-01-22	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-16	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-15	- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-02	Jerry James <loganjerry at gmail dot com> - 2.3.3-14	- Rebuild for ocaml-num and ocaml-menhir 20231231

Dependencies

ocaml = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml-alt-ergo-lib = 5a081e867ffb55fc83dc3425ded51666
ocaml-alt-ergo-lib-devel = 5a081e867ffb55fc83dc3425ded51666
ocaml-alt-ergo-parsers = 2.3.3-22.fc41
ocaml-num = 05dfc47106cd6aca9cf13aaa96fdab94
ocaml-num-devel = 05dfc47106cd6aca9cf13aaa96fdab94
ocaml-psmt2-frontend = 16e934f5e87089e766aa09562a438efe
ocaml-psmt2-frontend-devel = 16e934f5e87089e766aa09562a438efe
ocaml-runtime = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml-zip = 7db9db485073f225972b4c461db6b158
ocaml-zip-devel = 7db9db485073f225972b4c461db6b158

Provides

ocaml(AltErgoParsers)
ocaml(AltErgoParsers__MyZip)
ocaml(AltErgoParsers__Parsers)
ocaml(AltErgoParsers__Parsers_loader)
ocaml(AltErgoParsers__Psmt2_to_alt_ergo)
ocaml(AltErgoParsers__Why_lexer)
ocaml(AltErgoParsers__Why_parser)
ocaml-alt-ergo-parsers-devel
ocaml-alt-ergo-parsers-devel(x86-64)
ocamlx(AltErgoParsers)
ocamlx(AltErgoParsers__MyZip)
ocamlx(AltErgoParsers__Parsers)
ocamlx(AltErgoParsers__Parsers_loader)
ocamlx(AltErgoParsers__Psmt2_to_alt_ergo)
ocamlx(AltErgoParsers__Why_lexer)
ocamlx(AltErgoParsers__Why_parser)

Files

usr/
- lib64/
  - ocaml/
    - alt-ergo-parsers/
      - AltErgoParsers.a
      - AltErgoParsers.cmxa
      - altErgoParsers.cmt
      - altErgoParsers.cmx
      - altErgoParsers__MyZip.cmt
      - altErgoParsers__MyZip.cmti
      - altErgoParsers__MyZip.cmx
      - altErgoParsers__Parsers.cmt
      - altErgoParsers__Parsers.cmti
      - altErgoParsers__Parsers.cmx
      - altErgoParsers__Parsers_loader.cmt
      - altErgoParsers__Parsers_loader.cmti
      - altErgoParsers__Parsers_loader.cmx
      - altErgoParsers__Psmt2_to_alt_ergo.cmt
      - altErgoParsers__Psmt2_to_alt_ergo.cmti
      - altErgoParsers__Psmt2_to_alt_ergo.cmx
      - altErgoParsers__Why_lexer.cmt
      - altErgoParsers__Why_lexer.cmx
      - altErgoParsers__Why_parser.cmt
      - altErgoParsers__Why_parser.cmti
      - altErgoParsers__Why_parser.cmx
      - dune-package
      - myZip.mli
      - opam
      - parsers.mli
      - parsers_loader.mli
      - psmt2_to_alt_ergo.mli
      - why_parser.mli

Sources on Pagure