ID | 236497 |
Package Name | gappalib-coq |
Version | 1.5.2 |
Release | 7.fc38 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6 |
Summary |
Description |
Built by | davidlt |
State |
failed
|
Volume |
DEFAULT |
Started | Fri, 31 Mar 2023 10:35:44 UTC |
Completed | Fri, 31 Mar 2023 15:05:29 UTC |
Task | build (f38, /rpms/gappalib-coq.git:647137248cc065a2f81e14e687d862be0b12e1c6) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6'}} |
Tags |
No tags
|
RPMs |
No RPMs
|
Changelog |
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.2-7
- Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-5
- Rebuild for coq 8.16.1
* Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-4
- Rebuild for coq 8.16.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-3
- Rebuild to fix coq dependency
- Change license to LGPL-3.0-or-later
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-1
- Version 1.5.2
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3
- Remove i686 support
- Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-3
- OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-2
- Rebuild for coq 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1
- Version 1.5.1
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.0-4
- OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-2
- Rebuild for coq 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-1
- Version 1.5.0
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-11
- OCaml 4.13.1 build
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-10
- Try to build on s390x with OCaml 4.13
* Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-9
- Rebuild for rebuilt coq
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-7
- Rebuild for flocq 3.4.2
* Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-6
- Rebuild for coq 8.13.2
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-5
- Rebuild for coq 8.13.1
- Build with ocaml-zarith instead of ocaml-num
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-4
- OCaml 4.12.0 build
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3
- Rebuild for coq 8.13.0
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|