Fedora Packages

gappalib-coq-source-1.5.5-5.fc41 in Fedora Rawhide

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

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

Changelog

Date Author Change
2024-07-18 Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.5-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
2024-07-16 Jerry James <loganjerry at gmail dot com> - 1.5.5-4 - Rebuild for ocaml-zarith 1.14
2024-06-19 Richard W.M. Jones <rjones at redhat dot com> - 1.5.5-3 - OCaml 5.2.0 ppc64le fix
2024-05-30 Richard W.M. Jones <rjones at redhat dot com> - 1.5.5-2 - OCaml 5.2.0 for Fedora 41
2024-05-23 Jerry James <loganjerry at gmail dot com> - 1.5.5-1 - Version 1.5.5
2024-02-02 Jerry James <loganjerry at gmail dot com> - 1.5.4-4 - Rebuild for flocq 4.1.4
2024-01-24 Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 1.5.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
2024-01-02 Jerry James <loganjerry at gmail dot com> - 1.5.4-1 - Version 1.5.4
2023-12-18 Richard W.M. Jones <rjones at redhat dot com> - 1.5.3-8 - OCaml 5.1.1 + s390x code gen fix for Fedora 40

Dependencies

Provides

  • gappalib-coq-source
  • gappalib-coq-source(x86-64)

Files


Sources on Pagure