Ubuntu

libisl15 binary package in Ubuntu Bionic armhf

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, and computing the lexicographic
minimum using parametric integer programming. It also includes an ILP solver
based on generalized basis reduction.
.
This package contains the runtime library.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2018-03-15 14:34:38 UTC	Published	Ubuntu Bionic armhf	release	universe	libs	Optional	0.18-4
Published on 2018-03-15 Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Bionic armhf	proposed	universe	libs	Optional	0.18-4
Removal requested on 2018-03-15. Deleted on 2018-03-15 by Ubuntu Archive Robot moved to release Published on 2018-03-15
	2018-03-15 14:35:13 UTC	Superseded	Ubuntu Bionic armhf	release	universe	libs	Optional	0.18-3
Removed from disk on 2018-03-17. Removal requested on 2018-03-16. Superseded on 2018-03-15 by armhf build of isl-0.18 0.18-4 in ubuntu bionic PROPOSED Published on 2018-03-15 Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
	2018-03-17 00:10:11 UTC	Deleted	Ubuntu Bionic armhf	proposed	universe	libs	Optional	0.18-3
Removed from disk on 2018-03-17. Removal requested on 2018-03-15. Deleted on 2018-03-15 by Ubuntu Archive Robot moved to release Published on 2018-03-15
	2018-03-15 11:50:51 UTC	Superseded	Ubuntu Bionic armhf	release	universe	libs	Optional	0.18-1ubuntu1
Removed from disk on 2018-03-16. Removal requested on 2018-03-16. Superseded on 2018-03-15 by armhf build of isl-0.18 0.18-3 in ubuntu bionic PROPOSED Published on 2018-03-15 Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
	2018-03-15 11:00:36 UTC	Superseded	Ubuntu Bionic armhf	proposed	main	libs	Optional	0.18-3
Removed from disk on 2018-03-16. Removal requested on 2018-03-16. Superseded on 2018-03-15 by armhf build of isl-0.18 0.18-3 in ubuntu bionic PROPOSED Published on 2018-03-15
	2018-03-15 11:00:36 UTC	Superseded	Ubuntu Bionic armhf	release	main	libs	Optional	0.18-1ubuntu1
Removed from disk on 2018-03-16. Removal requested on 2018-03-16. Superseded on 2018-03-15 by armhf build of isl-0.18 0.18-1ubuntu1 in ubuntu bionic PROPOSED Published on 2018-03-09 Copied from ubuntu bionic-proposed armhf in Primary Archive for Ubuntu
	2018-03-16 12:10:10 UTC	Deleted	Ubuntu Bionic armhf	proposed	main	libs	Optional	0.18-1ubuntu1
Removed from disk on 2018-03-16. Removal requested on 2018-03-09. Deleted on 2018-03-09 by Ubuntu Archive Robot moved to release Published on 2018-03-09
	2018-03-09 06:49:15 UTC	Superseded	Ubuntu Bionic armhf	release	main	libs	Optional	0.18-1
Removed from disk on 2020-07-10. Removal requested on 2018-03-10. Superseded on 2018-03-09 by armhf build of isl-0.18 0.18-1ubuntu1 in ubuntu bionic PROPOSED Published on 2017-10-24 Copied from ubuntu zesty-proposed armhf in Primary Archive for Ubuntu

Source package

isl-0.18 package in Ubuntu