coq-core-compat-9.2.0-3.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-07-16 | Fedora Release Engineering <releng at fedoraproject dot org> - 9.2.0-3 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild |
| 2026-07-09 | Jerry James <loganjerry at gmail dot com> - 9.2.0-2 | - OCaml 5.5.0 rebuild - Add patch to adapt to dune 3.24 - 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 |
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/
- 03/
- 4fd18abe18debaf4f09356286c46c0bf298ce8
- 15/
- 34a8710852fa538765194cdf196ebda0376295
- 26/
- 465976d85d8c79ffe523fbe65be63b55be4d8d
- 29/
- bcfaaa2d48fcc1b9f93516e89fd65dfe64dee3
- 38/
- de4615a229c481b6a46172d1a6ec4016a1e0e7
- 3a/
- f57fd8db088d6d620db06d21169643d9ddff0f
- 3f/
- 1088cc74bcf0637730bd69de3aeadcef9fb71c
- 6e/
- fe6cf82e7f3646e1c3c1a8d2d4b6c2c0398ae1
- 77/
- db8e12fe87112c3a3a9020a6b6ef674a6be9e3
- 94/
- 862ae8a1b9477bd8e5be5ea0495bb86e8b34e3
- df/
- 0c597391247393b6e9cb31953350e469134731
- e5/
- 9994d34dfbd7da2ea94b34276bd752639dd645
- 03/
- .build-id/
- lib64/
- ocaml/
- coq-core/
- META
- dune-package
- opam
- coq-core/
- ocaml/
- 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
- man1/
- man/
- bin/
Sources on Pagure