Fedora Packages

coq-coqide-8.20.1-1.fc42 in Fedora Rawhide

↵ 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-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
2024-06-19 Richard W.M. Jones <rjones at redhat dot com> - 8.18.0-7 - Bump release and rebuild
2024-06-19 Richard W.M. Jones <rjones at redhat dot com> - 8.18.0-6 - OCaml 5.2.0 ppc64le fix
2024-05-29 Richard W.M. Jones <rjones at redhat dot com> - 8.18.0-5 - OCaml 5.2.0 for Fedora 41
2024-02-02 Jerry James <loganjerry at gmail dot com> - 8.18.0-4 - Rebuild for ocaml-lablgtk3 3.1.4

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