ocaml-alt-ergo-parsers-devel-2.3.3-17.fc40 in Fedora Rawhide

↵ 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-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
2023-12-18	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-13	- OCaml 5.1.1 + s390x code gen fix for Fedora 40
2023-12-12	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-12	- OCaml 5.1.1 rebuild for Fedora 40
2023-10-05	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-11	- OCaml 5.1 rebuild for Fedora 40
2023-07-27	Jerry James <loganjerry at gmail dot com> - 2.3.3-10	- Rebuild for ocaml-zarith 1.13
2023-07-19	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-9	- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18	Jerry James <loganjerry at gmail dot com> - 2.3.3-8	- Validate appdata with appstream-util

Dependencies

ocaml = 2125f26b831153c92a44f06bfde570ae
ocaml-alt-ergo-lib = 0e871f6172efcb5b6d8f9413cbf1bc1b
ocaml-alt-ergo-lib-devel = 0e871f6172efcb5b6d8f9413cbf1bc1b
ocaml-alt-ergo-parsers = 2.3.3-17.fc40
ocaml-num = 7414145e70a150c6b9a709d7f811e8cf
ocaml-num-devel = 7414145e70a150c6b9a709d7f811e8cf
ocaml-psmt2-frontend = 219855a38aa6cf8619553442e5735b87
ocaml-psmt2-frontend-devel = 219855a38aa6cf8619553442e5735b87
ocaml-runtime = 2125f26b831153c92a44f06bfde570ae
ocaml-zip = 393f03962f6a62fe2e4d431978a4f170
ocaml-zip-devel = 393f03962f6a62fe2e4d431978a4f170

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