Fri, 10 May 2024 16:34:57 UTC | login

Information for build apron-0.9.11-25.1104.svn20180624.fc31

ID103254
Package Nameapron
Version0.9.11
Release25.1104.svn20180624.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/apron.git#6e52b296359010e14674c54342e6914c2afdaba0
SummaryNumerical abstract domain library
DescriptionThe APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1<=x+y<=z, which holds during any execution of the program. The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.
Built bydavidlt
State failed
Volume DEFAULT
StartedFri, 26 Jul 2019 00:03:33 UTC
CompletedFri, 26 Jul 2019 00:44:51 UTC
Taskbuild (f31-candidate, /rpms/apron.git:6e52b296359010e14674c54342e6914c2afdaba0)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/apron.git#6e52b296359010e14674c54342e6914c2afdaba0'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-25.1104.svn20180624 - OCaml 4.08.0 (final) rebuild. * Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-24.1104.svn20180624 - OCaml 4.08.0 (beta 3) rebuild. * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-23.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-22.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-21.1104.svn20180624 - OCaml 4.07.0 (final) rebuild. * Sat Jul 07 2018 Jerry James <loganjerry@gmail.com> - 0.9.11-20.1104.svn20180624 - Update to latest subversion commit * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-19.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-18.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-17.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-16.1097.svn20160801 - Bump release and rebuild. * Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-15.1097.svn20160801 - OCaml 4.07.0-rc1 rebuild. * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-14.1097.svn20160801 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Mon Dec 04 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-13.1097.svn20160801 - Rebuild for mlgmpidl 1.2.6-1 * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-12.1097.svn20160801 - OCaml 4.06.0 rebuild. * Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-11.1097.svn20160801 - OCaml 4.05.0 rebuild. * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-10.1097.svn20160801 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-9.1097.svn20160801 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild