tau: Base Pigment

Repositories

208

Projects Packages

535

libisl (0.28-1)

Published 2026-09-05 00:03:31 +00:00 by Devband CTO

Installation

Add trust certificate for pacman:

wget -O sign.gpg 
pacman-key --add sign.gpg
pacman-key --lsign-key 'tau@noreply.git.devband.ru'

Add server with related distribution and architecture to /etc/pacman.conf :

[tau.git.devband.ru]
SigLevel = Required
Server = 

Sync package with pacman:

pacman -Sy libisl

For more information on the Arch registry, see the documentation.

Version properties

Description	Library for manipulating sets and relations of integer points bounded by linear constraints
Provides	isl, libisl.so
Dependencies	gmp
Replaces	isl

Details

Arch

2026-09-05 00:03:31 +00:00

2

MIT

1.2 MiB

Assets (2)

libisl-0.28-1-x86_64.pkg.tar.zst 1.2 MiB

libisl-0.28-1-x86_64.pkg.tar.zst.sig 620 B

Versions (1) View all

0.28-1 2026-09-05