coq-core-compat-9.2.0-1.fc45 in Fedora Rawhide

↵ Return to the main page of coq-core-compat
View build
Search for updates

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

Changelog

Date	Author	Change
2026-04-16	Jerry James <loganjerry at gmail dot com> - 9.2.0-1	- Version 9.2.0 - Drop upstreamed documentation patch - Enable the native compiler for x86_64
2026-03-20	Jerry James <loganjerry at gmail dot com> - 9.1.1-1	- Initial RPM

Dependencies

glibc >= 2.43.9000-11
rocq-core = 9.2.0-1.fc45

Provides

coq-core
coq-core-compat
coq-core-compat(x86-64)

Files

usr/
- bin/
  - coq-tex
  - coq_makefile
  - coqc
  - coqchk
  - coqdep
  - coqdoc
  - coqnative
  - coqpp
  - coqtop
  - coqtop.byte
  - coqwc
  - coqworkmgr
- lib/
  - .build-id/
    - 34/
      - a34e4873e592f606e467bb7b64c241e65c49c0
    - 49/
      - fd39d676ccfced0ee52e293140c06039b9c57f
    - 5a/
      - 640258656ee66e450694d95ecbf2ceb5555709
    - 65/
      - 76448d7ed1ce1b66138e7179d642368362c415
    - 76/
      - 81c0873138cba53a586f0d23d67cf4d5efbad5
    - 78/
      - 8f1e52494fda65c0ae2ccbaeb463375f7fe0e0
    - a8/
      - 7e1b753b43de6ee0e55e709ad466a691f26ae2
    - c2/
      - 23e51bd941118d0521cadb2ad6310858f04052
    - d0/
      - 965b9aa10a557b758f045bff66c09b749b5758
    - d9/
      - 37e4ccbd47f00f0317fe64532b199a29b4c438
    - e4/
      - 4106c0fe4d3339f13ac09f26f6d3ce26929ac4
    - fe/
      - 8fd0d3dab357240f625cfa1a7a2fb7b1507419
- lib64/
  - ocaml/
    - coq-core/
      - META
      - dune-package
      - opam
- share/
  - man/
    - man1/
      - coq-tex.1.gz
      - coq_makefile.1.gz
      - coqc.1.gz
      - coqchk.1.gz
      - coqdep.1.gz
      - coqdoc.1.gz
      - coqnative.1.gz
      - coqtop.1.gz
      - coqtop.byte.1.gz
      - coqwc.1.gz

Sources on Pagure