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

Dependencies

glibc
rocq-core = 9.1.1-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/
    - 0f/
      - 3b9d88ba6003b07c19ef495cf1a7c98763c15e
    - 22/
      - 30dae5ebea977b799aa993aceabc7dca885bd7
    - 2a/
      - ffa9198f52534284d847c64611b926b60daa98
    - 47/
      - 66b4d1ae95d2762dd95b67854996703c3a6ee4
    - 53/
      - c4a581649bea829460706c1e3973dbed2a1a6b
    - 94/
      - 6b35855216316cd74f98d018d554a5efa74cfd
    - 9a/
      - 41506fbae53b7d5d683b6d3d1ab58389b39071
    - c1/
      - 1814af4edadbef56ec137eb565e40a63d0c80d
    - e0/
      - 867846ba86a64a1f923d53a7a0a9d289cb56ec
    - ef/
      - d3cb04d9be10c8bac14b9657c9519b9bc9bdc3
    - f3/
      - eae11578fd1968d523dcac95fe13ca8e48dcfd
    - f9/
      - 1c24e589ee5f0a81bbfe4872786efbe90216c0
- 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