ocaml-alt-ergo-parsers-2.3.0-1.fc36 in Fedora Rawhide

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

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

Changelog

Date	Author	Change
2021-12-27	Jerry James <loganjerry at gmail dot com> - 2.3.0-1	- Version 2.3.0 - New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages
2021-10-05	Richard W.M. Jones <rjones at redhat dot com> - 2.2.0-14	- OCaml 4.13.1 build
2021-07-29	Jerry James <loganjerry at gmail dot com> - 2.2.0-13	- Rebuild for changed ocamlx(Dynlink)
2021-07-21	Fedora Release Engineering <releng at fedoraproject dot org> - 2.2.0-12	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-07-19	Jerry James <loganjerry at gmail dot com> - 2.2.0-11	- Move META to the main package
2021-06-22	Jerry James <loganjerry at gmail dot com> - 2.2.0-11	- Rebuild for ocaml-lablgtk without gnomeui
2021-03-03	Jerry James <loganjerry at gmail dot com> - 2.2.0-10	- Rebuild for ocaml-zarith 1.12
2021-03-02	Richard W.M. Jones <rjones at redhat dot com> - 2.2.0-9	- OCaml 4.12.0 build
2021-02-04	Jerry James <loganjerry at gmail dot com> - 2.2.0-8	- Updates to the desktop and metainfo files - Add -pervasives patch
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 2.2.0-7	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Dependencies

glibc
ocaml = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-alt-ergo-lib = 915ffefdde28db355cc348f941fc2c42
ocaml-alt-ergo-lib-devel = 915ffefdde28db355cc348f941fc2c42
ocaml-num = 2810cdef87811739c860656c04d2809e
ocaml-num-devel = 2810cdef87811739c860656c04d2809e
ocaml-psmt2-frontend = eb576e27a2ee94146c01caa17d30ab0f
ocaml-psmt2-frontend-devel = eb576e27a2ee94146c01caa17d30ab0f
ocaml-runtime = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml-zip = a3660e7cb5210d913d60fccdb5c25102
ocaml-zip-devel = a3660e7cb5210d913d60fccdb5c25102

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
ocaml-alt-ergo-parsers(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/
- lib/
  - .build-id/
    - 23/
      - 53b5dd54f001f9ee63fca036216fbbb669ee81
- lib64/
  - ocaml/
    - alt-ergo-parsers/
      - AltErgoParsers.cma
      - AltErgoParsers.cmxs
      - META
      - altErgoParsers.cmi
      - altErgoParsers__MyZip.cmi
      - altErgoParsers__Parsers.cmi
      - altErgoParsers__Parsers_loader.cmi
      - altErgoParsers__Psmt2_to_alt_ergo.cmi
      - altErgoParsers__Why_lexer.cmi
      - altErgoParsers__Why_parser.cmi

Sources on Pagure