coq-core-compat-9.2.0-1.fc44 in Fedora 44

↵ 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
rocq-core = 9.2.0-1.fc44

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/
    - 0f/
      - 0e3303e825a4fe9c7698784fe7c20b60456e7e
    - 4d/
      - 30a5effa2a20294412017ca8b80bd73388215a
    - 69/
      - b670957c059d1c47f9ef07d573f56053031650
    - 92/
      - becdc5067d3e71d9b58aa2ddde9c1eb74a6871
    - a0/
      - 727664e4eb031fc1164641265d22ec06269c1f
      - 7f4bacb92d51f2db43c48b81b05b168d202e16
    - b3/
      - 68b239097c824f230ba579d8154c61b44877c0
    - b5/
      - 2ad271e2af8942017b1c1ee79bec5a37c5db3e
    - de/
      - 41abe813bd50c36fd617bd94cce454b478e80f
    - e3/
      - 0a585d5e23b6116c3032efc6d635d277d1f994
    - e7/
      - 618166dccd39ebe1e9be84f8a57219819441ca
    - eb/
      - f09139210b9cc69c32cfd4adce97f3980ea671
- 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