Fedora Packages

coq-coqide-8.20.1-5.fc43 in Fedora 43

↵ Return to the main page of coq-coqide
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2025-09-19 Python Maint <python dash maint at redhat dot com> - 8.20.1-5 - Rebuilt for Python 3.14.0rc3 bytecode
2025-08-15 Python Maint <python dash maint at redhat dot com> - 8.20.1-4 - Rebuilt for Python 3.14.0rc2 bytecode
2025-07-23 Fedora Release Engineering <releng at fedoraproject dot org> - 8.20.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
2025-07-12 Jerry James <loganjerry at gmail dot com> - 8.20.1-2 - Rebuild to fix OCaml dependencies
2025-01-22 Jerry James <loganjerry at gmail dot com> - 8.20.1-1 - Version 8.20.1
2025-01-16 Fedora Release Engineering <releng at fedoraproject dot org> - 8.20.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
2025-01-09 Jerry James <loganjerry at gmail dot com> - 8.20.0-1 - OCaml 5.3.0 rebuild for Fedora 42 - Version 8.20.0
2024-07-17 Fedora Release Engineering <releng at fedoraproject dot org> - 8.18.0-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16 Jerry James <loganjerry at gmail dot com> - 8.18.0-9 - Rebuild for ocaml-zarith 1.14
2024-07-11 Jerry James <loganjerry at gmail dot com> - 8.18.0-8 - Rebuild for antlr4 4.13.1

Dependencies

Provides

  • application()
  • application(fr.inria.coqide.desktop)
  • coq-coqide
  • coq-coqide(x86-64)
  • metainfo()
  • metainfo(fr.inria.coqide.metainfo.xml)
  • mimehandler(application/x-coq)

Files


Sources on Pagure