Wed, 07 Dec 2022 23:16:37 UTC

Information for build apron-0.9.13-2.fc33

ID1644303
Package Nameapron
Version0.9.13
Release2.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/apron.git#891d2bd5133bb67555a5bc55c01e8e7412d371f8
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 byjjames
State complete
Volume DEFAULT
StartedFri, 20 Nov 2020 21:56:35 UTC
CompletedFri, 20 Nov 2020 22:13:50 UTC
Taskbuild (f33-candidate, /rpms/apron.git:891d2bd5133bb67555a5bc55c01e8e7412d371f8)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/apron.git#891d2bd5133bb67555a5bc55c01e8e7412d371f8'}}
Tags
f33-updates
RPMs
src
apron-0.9.13-2.fc33.src.rpm (info) (download)
aarch64
apron-0.9.13-2.fc33.aarch64.rpm (info) (download)
apron-devel-0.9.13-2.fc33.aarch64.rpm (info) (download)
japron-0.9.13-2.fc33.aarch64.rpm (info) (download)
ocaml-apron-0.9.13-2.fc33.aarch64.rpm (info) (download)
ocaml-apron-devel-0.9.13-2.fc33.aarch64.rpm (info) (download)
apron-debuginfo-0.9.13-2.fc33.aarch64.rpm (info) (download)
apron-debugsource-0.9.13-2.fc33.aarch64.rpm (info) (download)
japron-debuginfo-0.9.13-2.fc33.aarch64.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-2.fc33.aarch64.rpm (info) (download)
armv7hl
apron-0.9.13-2.fc33.armv7hl.rpm (info) (download)
apron-devel-0.9.13-2.fc33.armv7hl.rpm (info) (download)
japron-0.9.13-2.fc33.armv7hl.rpm (info) (download)
ocaml-apron-0.9.13-2.fc33.armv7hl.rpm (info) (download)
ocaml-apron-devel-0.9.13-2.fc33.armv7hl.rpm (info) (download)
apron-debuginfo-0.9.13-2.fc33.armv7hl.rpm (info) (download)
apron-debugsource-0.9.13-2.fc33.armv7hl.rpm (info) (download)
japron-debuginfo-0.9.13-2.fc33.armv7hl.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-2.fc33.armv7hl.rpm (info) (download)
i686
apron-0.9.13-2.fc33.i686.rpm (info) (download)
apron-devel-0.9.13-2.fc33.i686.rpm (info) (download)
japron-0.9.13-2.fc33.i686.rpm (info) (download)
ocaml-apron-0.9.13-2.fc33.i686.rpm (info) (download)
ocaml-apron-devel-0.9.13-2.fc33.i686.rpm (info) (download)
apron-debuginfo-0.9.13-2.fc33.i686.rpm (info) (download)
apron-debugsource-0.9.13-2.fc33.i686.rpm (info) (download)
japron-debuginfo-0.9.13-2.fc33.i686.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-2.fc33.i686.rpm (info) (download)
ppc64le
apron-0.9.13-2.fc33.ppc64le.rpm (info) (download)
apron-devel-0.9.13-2.fc33.ppc64le.rpm (info) (download)
japron-0.9.13-2.fc33.ppc64le.rpm (info) (download)
ocaml-apron-0.9.13-2.fc33.ppc64le.rpm (info) (download)
ocaml-apron-devel-0.9.13-2.fc33.ppc64le.rpm (info) (download)
apron-debuginfo-0.9.13-2.fc33.ppc64le.rpm (info) (download)
apron-debugsource-0.9.13-2.fc33.ppc64le.rpm (info) (download)
japron-debuginfo-0.9.13-2.fc33.ppc64le.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-2.fc33.ppc64le.rpm (info) (download)
s390x
apron-0.9.13-2.fc33.s390x.rpm (info) (download)
apron-devel-0.9.13-2.fc33.s390x.rpm (info) (download)
japron-0.9.13-2.fc33.s390x.rpm (info) (download)
ocaml-apron-0.9.13-2.fc33.s390x.rpm (info) (download)
ocaml-apron-devel-0.9.13-2.fc33.s390x.rpm (info) (download)
apron-debuginfo-0.9.13-2.fc33.s390x.rpm (info) (download)
apron-debugsource-0.9.13-2.fc33.s390x.rpm (info) (download)
japron-debuginfo-0.9.13-2.fc33.s390x.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-2.fc33.s390x.rpm (info) (download)
x86_64
apron-0.9.13-2.fc33.x86_64.rpm (info) (download)
apron-devel-0.9.13-2.fc33.x86_64.rpm (info) (download)
japron-0.9.13-2.fc33.x86_64.rpm (info) (download)
ocaml-apron-0.9.13-2.fc33.x86_64.rpm (info) (download)
ocaml-apron-devel-0.9.13-2.fc33.x86_64.rpm (info) (download)
apron-debuginfo-0.9.13-2.fc33.x86_64.rpm (info) (download)
apron-debugsource-0.9.13-2.fc33.x86_64.rpm (info) (download)
japron-debuginfo-0.9.13-2.fc33.x86_64.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-2.fc33.x86_64.rpm (info) (download)
Logs
armv7hl
build.log
state.log
hw_info.log
root.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
aarch64
root.log
state.log
hw_info.log
build.log
mock_output.log
ppc64le
hw_info.log
build.log
state.log
root.log
mock_output.log
s390x
hw_info.log
build.log
root.log
state.log
mock_output.log
Changelog * 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 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10.1 - Bump release and rebuild. * 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 * Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6 - OCaml 4.11.0 pre-release attempt 2 * Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5 - OCaml 4.11.0 pre-release * Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4 - Update all OCaml dependencies for RPM 4.16. * Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3 - OCaml 4.10.0 final. * Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Wed Jan 22 2020 Dan Čermák <dan.cermak@cgc-instruments.com> - 0.9.12-1 - New upstream release 0.9.12 * Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-33.1104.svn20180624 - OCaml 4.10.0+beta1 rebuild. * Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-32.1104.svn20180624 - OCaml 4.09.0 for riscv64 * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-31.1104.svn20180624 - Bump release and rebuild. * Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-30.1104.svn20180624 - OCaml 4.09.0 (final) rebuild. * Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 0.9.11-29.1104.svn20180624 - Add -mpfr4 patch and rebuild for mpfr 4 * Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-28.1104.svn20180624 - OCaml 4.08.1 (final) rebuild. * Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-27.1104.svn20180624 - OCaml 4.08.1 (rc2) rebuild. * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-26.1104.svn20180624 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * 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