Package Details: isl 0.24-2

Git Clone URL: https://aur.archlinux.org/isl.git (read-only, click to copy)
Package Base: isl
Description: Library for manipulating sets and relations of integer points bounded by linear constraints
Upstream URL: http://isl.gforge.inria.fr/
Licenses: MIT
Conflicts: isl-git, isl14, isl15, isl16, isl17
Submitter: haawda
Maintainer: adsun
Last Packager: adsun
Votes: 66
Popularity: 0.32
First Submitted: 2014-11-19 12:18
Last Updated: 2021-10-02 11:02

Latest Comments

1 2 3 Next › Last »

adsun commented on 2021-10-02 11:02

@carlosal1015 Fixed. Thanks for the input.

AlexBocken commented on 2021-10-02 08:28

@carlosal1015 you can find a mirror for 0.24 at https://mirror.sobukus.de/files/src/isl/isl-0.24.tar.xz

updating the PKGBUILD for this has resulted in a successful compilation for me:

source=("https://mirror.sobukus.de/files/src/isl/isl-${pkgver}.tar.xz")
sha256sums=('043105cc544f416b48736fff8caf077fb0663a717d06b1113f16e391ac99ebad')

( a makepkg -si in the directory with the PKGBUILD will compile and install it.)

That the checksum has also changed might be concerning to you. Let me just warn you here about this. Maybe look further into that yourself.

carlosal1015 commented on 2021-10-01 13:05

At the moment (Fri 01 Oct 2021 07:59:41 AM -05) the page http://isl.gforge.inria.fr is down.

alexandria commented on 2018-12-30 20:03

Thanks! ^.^

Kritias commented on 2018-12-30 16:59

I switched to the original source and enabled sha256 checksums.

alexandria commented on 2018-12-30 14:20

It looks like as of right now this package downloads over plain HTTP with no checksum verification? That's really lax security. You should at least use SSL encryption on the download.

adsun commented on 2018-08-08 15:42

I just checked the upstream URL, it is now back up.

afg984 commented on 2018-08-08 15:29

As git is required to fetch the source now, mind putting it in makedepends? [1] Although not a VCS package, git not being present is causing makechrootpkg to fail.

[1] https://wiki.archlinux.org/index.php/VCS_package_guidelines#Guidelines

xyproto commented on 2018-08-07 18:07

Here's an alternative URL for the file. Same hash sum: https://mirror.sobukus.de/files/src/isl/isl-0.20.tar.xz

EndruK commented on 2018-08-07 16:06

I can't install either, upstream URL is down.