isl-0.24-4.ocs23 | Build Info

Information for build isl-0.24-4.ocs23

1838

Package Name

isl

Version

0.24

Release

4.ocs23

Epoch

Source

git+https://gitee.com/opencloudos-stream/isl.git?.#6e155d68cda54dd0573b240a6ce36e72dda9faf3

Summary

Integer Set Library

Description

isl 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 by

streamkoji

State

complete

Volume

DEFAULT

Started

Sat, 09 Sep 2023 00:01:08 CST

Completed

Sat, 09 Sep 2023 00:04:48 CST

Task

build (dist-ocs23, /opencloudos-stream/isl.git:.:HEAD)

Extra

{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/isl.git?.#HEAD'}}

Tags

dist-ocs23

RPMs

src
	isl-0.24-4.ocs23.src.rpm (info) (download)
aarch64
	isl-0.24-4.ocs23.aarch64.rpm (info) (download)
	isl-devel-0.24-4.ocs23.aarch64.rpm (info) (download)
	isl-debuginfo-0.24-4.ocs23.aarch64.rpm (info) (download)
	isl-debugsource-0.24-4.ocs23.aarch64.rpm (info) (download)
x86_64
	isl-0.24-4.ocs23.x86_64.rpm (info) (download)
	isl-devel-0.24-4.ocs23.x86_64.rpm (info) (download)
	isl-debuginfo-0.24-4.ocs23.x86_64.rpm (info) (download)
	isl-debugsource-0.24-4.ocs23.x86_64.rpm (info) (download)

Logs

x86_64
	installed_pkgs.log
	build.log
	state.log
	hw_info.log
	root.log
	mock_output.log
aarch64
	root.log
	state.log
	installed_pkgs.log
	hw_info.log
	build.log
	mock_output.log

Changelog

* Fri Sep 08 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.24-4 - Rebuilt for OpenCloudOS Stream 23.09 * Fri Apr 28 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.24-3 - Rebuilt for OpenCloudOS Stream 23.05 * Fri Mar 31 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 0.24-2 - Rebuilt for OpenCloudOS Stream 23 * Thu Jul 14 2022 Wang Zhe <bessiewang@tencent.com> - 0.24-1 - initial build

Main Site Links:

Information for build isl-0.24-4.ocs23