Sun, 05 May 2024 18:58:11 UTC | login

Information for build isl-0.16.1-8.fc31

ID103643
Package Nameisl
Version0.16.1
Release8.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/isl.git#47e240007aab34985e733fe0c3a7e3092e420819
SummaryInteger point manipulation library
Descriptionisl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 26 Jul 2019 07:36:00 UTC
CompletedFri, 26 Jul 2019 09:39:34 UTC
Taskbuild (f31-candidate, /rpms/isl.git:47e240007aab34985e733fe0c3a7e3092e420819)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/isl.git#47e240007aab34985e733fe0c3a7e3092e420819'}}
Tags
f31
RPMs
src
isl-0.16.1-8.fc31.src.rpm (info) (download)
riscv64
isl-0.16.1-8.fc31.riscv64.rpm (info) (download)
isl-devel-0.16.1-8.fc31.riscv64.rpm (info) (download)
isl-debuginfo-0.16.1-8.fc31.riscv64.rpm (info) (download)
isl-debugsource-0.16.1-8.fc31.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Feb 09 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 0.16.1-6 - Escape macros in %changelog * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Sep 15 2017 Troy Dawson <tdawson@redhat.com> - 0.16.1-4 - Fix %setup options * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.16.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild