coq-core-compat-9.3.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-10-05	Jerry James <loganjerry at gmail dot com> - 9.3.0-1	- Version 9.3.0 - Fix rocq.xml
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.3.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/
    - 0b/
      - 6100ecf758a3699b119215c1f2ca0b6837230f
    - 23/
      - eebab05bd466592e9be4fcddb15947d3695fed
    - 45/
      - df0074423a8a82bde5dae55c60d1e44527a6fd
    - 5d/
      - 757a649cdfe5e605cd024b8d961956188290cf
    - 6c/
      - 6488d4be16385ce28b49b308af3ad44fd56b18
    - 7e/
      - f2e40ef7e4139e69b6e1cf5d83757b57c99633
    - 8a/
      - c5759e0080c5e42a9bed519e09aec2d6e1f32c
    - 8c/
      - 7ebf9592acb6bb9d1bbad2d7c7c4f69467d44a
    - 99/
      - 5f9b54fcbc1755d6c364c42c1d072340636233
    - 9b/
      - 885deecea0b44d53dbbd8209f7798c9e1ee536
    - db/
      - aca8ad04b764c6901ab9fff14d66c6fdead93c
    - df/
      - 74fc509d30ad4fed0aa734bd85913a249e89f4
- 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