ID | 190777 |
Package Name | zenon |
Version | 0.8.4 |
Release | 18.fc33 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/zenon.git#6d1d5c244f9fc7ae0761406ba1259addd2879c52 |
Summary |
Description |
Built by | davidlt |
State |
failed
|
Volume |
DEFAULT |
Started | Thu, 31 Dec 2020 13:00:45 UTC |
Completed | Thu, 31 Dec 2020 13:16:29 UTC |
Task | build (f33, /rpms/zenon.git:6d1d5c244f9fc7ae0761406ba1259addd2879c52) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/zenon.git#6d1d5c244f9fc7ae0761406ba1259addd2879c52'}} |
Tags |
No tags
|
RPMs |
No RPMs
|
Changelog |
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-18
- Rebuild for coq 8.12.1
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-17.1
- Bump release and rebuild.
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-17
- OCaml 4.11.1 rebuild
* Tue Sep 01 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-16
- Rebuild for coq 8.12.0
* Sat Aug 22 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-16
- OCaml 4.11.0 rebuild
* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-15
- Second attempt - Rebuilt for
https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-14
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-13
- Rebuild for coq 8.11.2
* Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-12
- Rebuild for coq 8.11.1
* Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-11
- OCaml 4.11.0+dev2-2020-04-22 rebuild
* Sat Apr 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.8.4-10
- Update all OCaml dependencies for RPM 4.16.
* Mon Mar 23 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-9
- Rebuild for coq 8.11.0
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Jan 22 2020 Jerry James <loganjerry@gmail.com> - 0.8.4-7
- OCaml 4.10.0+beta1 rebuild.
* Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-6
- OCaml 4.08.1 (final) rebuild.
* Thu Aug 01 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-5
- OCaml 4.08.1 (rc2) rebuild.
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-3
- Rebuild for coq 8.9.1
- Add -coq89 patch to adapt to coq 8.9.x
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 0.8.4-1
- New upstream release
- Drop -unsafe-string workaround
|