ID | 127306 |
Package Name | why |
Version | 2.41 |
Release | 4.fc31 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/why.git#6aa1f91c4be3c8350926df5ab873c3984143499b |
Summary |
Description |
Built by | davidlt |
State |
failed
|
Volume |
DEFAULT |
Started | Sun, 01 Sep 2019 04:27:12 UTC |
Completed | Sun, 01 Sep 2019 05:02:18 UTC |
Task | build (f31-candidate, /rpms/why.git:6aa1f91c4be3c8350926df5ab873c3984143499b) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why.git#6aa1f91c4be3c8350926df5ab873c3984143499b'}} |
Tags |
No tags
|
RPMs |
No RPMs
|
Changelog |
* Tue Jun 26 1973 Jerry James <loganjerry@gmail.com> - 2.41-4
- Rebuild for frama-c 19.0
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 2.41-3
- Rebuild for coq 8.9.1, why3 1.2.0, and frama-c 18.0
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.41-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 2.41-1
- New upstream release
- All patches have been upstreamed; drop them all
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.40-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 2.40-1
- New upstream release
- Add -num patch to fix incomplete num to zarith conversion
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.39-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Thu Jan 18 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 2.39-4
- Remove obsolete scriptlets
* Sat Dec 09 2017 Jerry James <loganjerry@gmail.com> - 2.39-3
- Bring back the -project patch, still needed (bz 1520483)
- Add the -safe-string patch for building with ocaml 4.06.0
- Build the Jessie plugin with -runtime-variant _pic
* Sat Dec 02 2017 Richard W.M. Jones <rjones@redhat.com> - 2.39-3
- OCaml 4.06.0 rebuild.
* Sat Oct 07 2017 Jerry James <loganjerry@gmail.com> - 2.39-2
- Rebuild for why3 0.88.0
* Thu Sep 07 2017 Jerry James <loganjerry@gmail.com> - 2.39-1
- New upstream release
* Wed Sep 06 2017 Richard W.M. Jones <rjones@redhat.com> - 2.38-6
- OCaml 4.05.0 rebuild.
|