coq-core-compat-9.1.1-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-03-20	Jerry James <loganjerry at gmail dot com> - 9.1.1-1	- Initial RPM

Dependencies

glibc
rocq-core = 9.1.1-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/
      - 31397b1ecbd44d62b84973558913b6f2cd5645
    - 12/
      - 05dd979f41b1ca18b4093f1e40fce0532b68f5
    - 15/
      - 8ab13c3feaf90480cd4684b896015d0740be1d
    - 3d/
      - bf960c34797433c40cda57809342b27fa2c037
    - 42/
      - 7e59da056bbc7cb037a957c9ea9fc87e864271
    - 62/
      - 7a08274ba7301a1279b77d26d64bc738f9a106
    - 6a/
      - 86640eefd0c1888a4f0ba912f3269f7672d2db
    - 76/
      - c892723e7c8d782d7c11e49320086fdac10361
    - 8e/
      - ef36e59946aed7f858b2e51e1a5f733e5b6e62
    - 9c/
      - b1f83d95da13d62b8bbeffa008e3c2d6fa5112
    - ca/
      - 73168cb97dcca9ae007a36c5052f18e349d30c
    - cf/
      - f6360f9888d362dd7d57106257574c370e780b
- 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