Information for build apron-0.9.15-20.fc45

ID121761
Package Nameapron
Version0.9.15
Release20.fc45
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/apron.git#4917bf1f73748fee266d62e255abe63751b065aa
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.
git:https://github.com/antoinemine/apron.git
Built bydavidlt
State complete
Volume DEFAULT
StartedTue, 11 Aug 2026 10:04:28 UTC
CompletedTue, 11 Aug 2026 11:45:02 UTC
Taskbuild (f45, /rpms/apron.git:4917bf1f73748fee266d62e255abe63751b065aa)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/apron.git#4917bf1f73748fee266d62e255abe63751b065aa'}}
Tags
f45
f46
RPMs
src
apron-0.9.15-20.fc45.src.rpm (info) (download)
riscv64
apron-0.9.15-20.fc45.riscv64.rpm (info) (download)
apron-devel-0.9.15-20.fc45.riscv64.rpm (info) (download)
japron-0.9.15-20.fc45.riscv64.rpm (info) (download)
ocaml-apron-0.9.15-20.fc45.riscv64.rpm (info) (download)
ocaml-apron-devel-0.9.15-20.fc45.riscv64.rpm (info) (download)
apron-debuginfo-0.9.15-20.fc45.riscv64.rpm (info) (download)
apron-debugsource-0.9.15-20.fc45.riscv64.rpm (info) (download)
japron-debuginfo-0.9.15-20.fc45.riscv64.rpm (info) (download)
ocaml-apron-debuginfo-0.9.15-20.fc45.riscv64.rpm (info) (download)
Logs
riscv64
dnf5.log
mock_output.log
hw_info.log
root.log
build.log
mock_config.log
state.log
Changelog * Mon Aug 10 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-20 - Rebuild for pplite 0.14 * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-18 - OCaml 5.5.0 rebuild - Pass -ldopt prior to linker arguments when invoking ocamlmklib * Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-17 - OCaml 5.4.1 rebuild * Tue Jan 27 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-16 - Rebuild for pplite 0.13 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Thu Jan 15 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-13 - Add GPL-3.0-only to the License field * Fri Jan 09 2026 Jerry James <loganjerry@gmail.com> - 0.9.15-12 - Reflow the description text - More precise globbing in %files * Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.9.15-11 - OCaml 5.4.0 rebuild * Tue Jul 29 2025 Jiri Vanek <jvanek@redhat.com> - 0.9.15-10 - Rebuilt for java-25-openjdk as preffered jdk * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Jul 11 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-8 - Rebuild to fix OCaml dependencies * Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 0.9.15-7 - Rebuild for bumped ocaml-mlgmpidl * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.15-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Dec 27 2024 Jerry James <loganjerry@gmail.com> - 0.9.15-5 - Prevent segfaults in the OCaml garbage collector - Move configuration steps to %conf