Mon, 28 Nov 2022 01:15:38 UTC

Information for build apron-0.9.13-12.fc37

ID1996874
Package Nameapron
Version0.9.13
Release12.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/apron.git#9a5712049166beb0e3d690ea3fe0148b23dafaac
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
StartedTue, 05 Jul 2022 20:26:00 UTC
CompletedTue, 05 Jul 2022 20:44:49 UTC
Taskbuild (rawhide, /rpms/apron.git:9a5712049166beb0e3d690ea3fe0148b23dafaac)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/apron.git#9a5712049166beb0e3d690ea3fe0148b23dafaac'}}
Tags
f37
RPMs
src
apron-0.9.13-12.fc37.src.rpm (info) (download)
aarch64
apron-0.9.13-12.fc37.aarch64.rpm (info) (download)
apron-devel-0.9.13-12.fc37.aarch64.rpm (info) (download)
japron-0.9.13-12.fc37.aarch64.rpm (info) (download)
ocaml-apron-0.9.13-12.fc37.aarch64.rpm (info) (download)
ocaml-apron-devel-0.9.13-12.fc37.aarch64.rpm (info) (download)
apron-debuginfo-0.9.13-12.fc37.aarch64.rpm (info) (download)
apron-debugsource-0.9.13-12.fc37.aarch64.rpm (info) (download)
japron-debuginfo-0.9.13-12.fc37.aarch64.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-12.fc37.aarch64.rpm (info) (download)
i686
apron-0.9.13-12.fc37.i686.rpm (info) (download)
apron-devel-0.9.13-12.fc37.i686.rpm (info) (download)
ocaml-apron-0.9.13-12.fc37.i686.rpm (info) (download)
ocaml-apron-devel-0.9.13-12.fc37.i686.rpm (info) (download)
apron-debuginfo-0.9.13-12.fc37.i686.rpm (info) (download)
apron-debugsource-0.9.13-12.fc37.i686.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-12.fc37.i686.rpm (info) (download)
ppc64le
apron-0.9.13-12.fc37.ppc64le.rpm (info) (download)
apron-devel-0.9.13-12.fc37.ppc64le.rpm (info) (download)
japron-0.9.13-12.fc37.ppc64le.rpm (info) (download)
ocaml-apron-0.9.13-12.fc37.ppc64le.rpm (info) (download)
ocaml-apron-devel-0.9.13-12.fc37.ppc64le.rpm (info) (download)
apron-debuginfo-0.9.13-12.fc37.ppc64le.rpm (info) (download)
apron-debugsource-0.9.13-12.fc37.ppc64le.rpm (info) (download)
japron-debuginfo-0.9.13-12.fc37.ppc64le.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-12.fc37.ppc64le.rpm (info) (download)
s390x
apron-0.9.13-12.fc37.s390x.rpm (info) (download)
apron-devel-0.9.13-12.fc37.s390x.rpm (info) (download)
japron-0.9.13-12.fc37.s390x.rpm (info) (download)
ocaml-apron-0.9.13-12.fc37.s390x.rpm (info) (download)
ocaml-apron-devel-0.9.13-12.fc37.s390x.rpm (info) (download)
apron-debuginfo-0.9.13-12.fc37.s390x.rpm (info) (download)
apron-debugsource-0.9.13-12.fc37.s390x.rpm (info) (download)
japron-debuginfo-0.9.13-12.fc37.s390x.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-12.fc37.s390x.rpm (info) (download)
x86_64
apron-0.9.13-12.fc37.x86_64.rpm (info) (download)
apron-devel-0.9.13-12.fc37.x86_64.rpm (info) (download)
japron-0.9.13-12.fc37.x86_64.rpm (info) (download)
ocaml-apron-0.9.13-12.fc37.x86_64.rpm (info) (download)
ocaml-apron-devel-0.9.13-12.fc37.x86_64.rpm (info) (download)
apron-debuginfo-0.9.13-12.fc37.x86_64.rpm (info) (download)
apron-debugsource-0.9.13-12.fc37.x86_64.rpm (info) (download)
japron-debuginfo-0.9.13-12.fc37.x86_64.rpm (info) (download)
ocaml-apron-debuginfo-0.9.13-12.fc37.x86_64.rpm (info) (download)
Logs
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
hw_info.log
state.log
build.log
root.log
mock_output.log
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * 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