ID | 129452 |
Package Name | why |
Version | 2.41 |
Release | 5.fc31 |
Epoch | |
Source | git+https://src.fedoraproject.org/rpms/why.git#d626ea58982d4b8f28202e0402f9a2ac92b73d4f |
Summary |
Description |
Built by | davidlt |
State |
failed
|
Volume |
DEFAULT |
Started | Sat, 21 Sep 2019 19:07:50 UTC |
Completed | Sat, 21 Sep 2019 19:41:04 UTC |
Task | build (f31-candidate, /rpms/why.git:d626ea58982d4b8f28202e0402f9a2ac92b73d4f) |
Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/why.git#d626ea58982d4b8f28202e0402f9a2ac92b73d4f'}} |
Tags |
No tags
|
RPMs |
No RPMs
|
Changelog |
* Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 2.41-5
- Rebuild for ocaml-zarith 1.9
* Fri Aug 02 2019 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
|