Fri, 10 May 2024 09:41:06 UTC | login

Information for build apron-0.9.13-13.fc37

ID206498
Package Nameapron
Version0.9.13
Release13.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/apron.git#8c26b74b25137d79c4761f4505e7322597215023
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
StartedSun, 13 Nov 2022 17:31:24 UTC
CompletedSun, 13 Nov 2022 20:39:58 UTC
Taskbuild (f37, /rpms/apron.git:8c26b74b25137d79c4761f4505e7322597215023)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/apron.git#8c26b74b25137d79c4761f4505e7322597215023'}}
Tags No tags
RPMs No RPMs
Changelog * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Tue Jul 05 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-12 - Do not build japron on i686 (rhbz#2104018) - Use new OCaml macros * Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-11 - OCaml 4.14.0 rebuild * Wed Apr 27 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-10 - Add -custom-operations patch to silence warnings - Trim Requires - Build native OCaml objects with debuginfo * Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 0.9.13-10 - Rebuilt for java-17-openjdk as system jdk * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-9 - OCaml 4.13.1 rebuild to remove package notes * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.9.13-7 - Rebuild for ocaml-mlgmpidl 1.2.14 * Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6 - OCaml 4.13.1 build * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Mon Mar 01 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-4 - OCaml 4.12.0 build * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-2 - Fix install location of OCaml stublibs * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-1 - Version 0.9.13 - Drop upstreamed -texinfo patch * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10 - OCaml 4.11.1 rebuild * Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9 - OCaml 4.11.0 rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild