ocaml-alt-ergo-parsers-devel-2.3.3-6.fc38 in Fedora 38

↵ 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
2023-03-24	Jerry James <loganjerry at gmail dot com> - 2.3.3-6	- Dune 3.7.0 changed the install location of mli files
2023-01-24	Richard W.M. Jones <rjones at redhat dot com> - 2.3.3-5	- Rebuild OCaml packages for F38
2023-01-18	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-4	- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-08-11	Jerry James <loganjerry at gmail dot com> - 2.3.3-3	- Convert License tag to SPDX - Note that the AB plugin has a different license
2022-07-20	Fedora Release Engineering <releng at fedoraproject dot org> - 2.3.3-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-05	Jerry James <loganjerry at gmail dot com> - 2.3.3-2	- Patch out uses of the dune external-lib-deps command - Patch out references to the seq forward compatibility module - Use new OCaml macros
2022-06-20	Jerry James <loganjerry at gmail dot com> - 2.3.3-1	- Version 2.3.3 - Add -menhir patch to fix FTBFS - Add -stdlib-shims patch since Fedora does not need stdlib-shims
2022-06-19	Richard W.M. Jones <rjones at redhat dot com> - 2.3.0-5	- OCaml 4.14.0 rebuild
2022-02-28	Jerry James <loganjerry at gmail dot com> - 2.3.0-4	- Switch to the correct tarball - Drop unneeded ocaml-findlib BR - Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel
2022-02-04	Richard W.M. Jones <rjones at redhat dot com> - 2.3.0-3	- OCaml 4.13.1 rebuild to remove package notes

Dependencies

ocaml = 8f8f634558798ee408df3c50a5539b15
ocaml-alt-ergo-lib = 9eb66ead7c16505345480d13d62e19da
ocaml-alt-ergo-lib-devel = 9eb66ead7c16505345480d13d62e19da
ocaml-alt-ergo-parsers = 2.3.3-6.fc38
ocaml-num = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml-num-devel = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml-psmt2-frontend = 3acb5fff4139ae05e0a9decb7f14b441
ocaml-psmt2-frontend-devel = 3acb5fff4139ae05e0a9decb7f14b441
ocaml-runtime = 8f8f634558798ee408df3c50a5539b15
ocaml-zip = 0611311d26f05fe79e34390886c01f94
ocaml-zip-devel = 0611311d26f05fe79e34390886c01f94

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