Package Details: isl 0.20-5

Git Clone URL: https://aur.archlinux.org/isl.git (read-only)
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: Kritias
Last Packager: Kritias
Votes: 62
Popularity: 1.510378
First Submitted: 2014-11-19 12:18
Last Updated: 2018-12-30 16:58

Dependencies (1)

Required by (4)

Sources (1)

Latest Comments

1 2 3 Next › Last »

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.

xyproto commented on 2018-08-07 15:41

http://isl.gforge.inria.fr/ is down

Kritias commented on 2018-07-30 14:28

Thanks for noticing. I fixed it.

RemoteAdmin commented on 2018-07-30 14:24

Would you mind checking your .SRCINFO file?

There shouldn't be two separate entries. Maybe execute a makepkg --printsrcinfo > .SRCINFO?