Mon Sep 23 22:15:50 UTC 2019
a/aaa_elflibs-15.0-x86_64-11.txz: Rebuilt.
Upgraded: libelf-0.177.so, libcurl.so.4.6.0, libexpat.so.1.6.10,
libglib-2.0.so.0.6200.0, libgmodule-2.0.so.0.6200.0,
libgobject-2.0.so.0.6200.0, libgthread-2.0.so.0.6200.0,
libstdc++.so.6.0.27, libtdb.so.1.4.2, libusb-1.0.so.0.2.0.
Added: libisl.so.21.0.0, libmpc.so.3.1.0.
a/kernel-firmware-20190923_417a9c6-noarch-1.txz: Upgraded.
d/gcc-9.2.0-x86_64-2.txz: Rebuilt.
Recompiled using --with-isl. The isl package is now required.
d/gcc-brig-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-g++-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gdc-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gfortran-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gnat-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-go-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-objc-9.2.0-x86_64-2.txz: Rebuilt.
l/imagemagick-6.9.10_66-x86_64-1.txz: Upgraded.
l/isl-0.21-x86_64-1.txz: Added.
Necessary to build GCC with the Graphite loop optimizations.
l/libical-3.0.6-x86_64-2.txz: Rebuilt.
Rebuilt with -DGOBJECT_INTROSPECTION=true and -DICAL_GLIB_VAPI=true.
Thanks to Skaendo.
l/v4l-utils-1.18.0-x86_64-1.txz: Upgraded.
x/xterm-349-x86_64-1.txz: Upgraded.
2019-09-24 00:15:50 +02:00
|
|
|
# HOW TO EDIT THIS FILE:
|
|
|
|
# The "handy ruler" below makes it easier to edit a package description. Line
|
|
|
|
# up the first '|' above the ':' following the base package name, and the '|'
|
2020-11-14 03:43:46 +01:00
|
|
|
# on the right side marks the last column you can put a character in. You must
|
|
|
|
# make exactly 11 lines for the formatting to be correct. It's also
|
Mon Sep 23 22:15:50 UTC 2019
a/aaa_elflibs-15.0-x86_64-11.txz: Rebuilt.
Upgraded: libelf-0.177.so, libcurl.so.4.6.0, libexpat.so.1.6.10,
libglib-2.0.so.0.6200.0, libgmodule-2.0.so.0.6200.0,
libgobject-2.0.so.0.6200.0, libgthread-2.0.so.0.6200.0,
libstdc++.so.6.0.27, libtdb.so.1.4.2, libusb-1.0.so.0.2.0.
Added: libisl.so.21.0.0, libmpc.so.3.1.0.
a/kernel-firmware-20190923_417a9c6-noarch-1.txz: Upgraded.
d/gcc-9.2.0-x86_64-2.txz: Rebuilt.
Recompiled using --with-isl. The isl package is now required.
d/gcc-brig-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-g++-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gdc-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gfortran-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gnat-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-go-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-objc-9.2.0-x86_64-2.txz: Rebuilt.
l/imagemagick-6.9.10_66-x86_64-1.txz: Upgraded.
l/isl-0.21-x86_64-1.txz: Added.
Necessary to build GCC with the Graphite loop optimizations.
l/libical-3.0.6-x86_64-2.txz: Rebuilt.
Rebuilt with -DGOBJECT_INTROSPECTION=true and -DICAL_GLIB_VAPI=true.
Thanks to Skaendo.
l/v4l-utils-1.18.0-x86_64-1.txz: Upgraded.
x/xterm-349-x86_64-1.txz: Upgraded.
2019-09-24 00:15:50 +02:00
|
|
|
# customary to leave one space after the ':'.
|
|
|
|
|
|
|
|
|-----handy-ruler------------------------------------------------------|
|
|
|
|
isl: isl (Integer Set Library)
|
|
|
|
isl:
|
|
|
|
isl: isl is a thread-safe C library for manipulating sets and relations
|
2020-11-14 03:43:46 +01:00
|
|
|
isl: of integer points bounded by affine constraints. The descriptions of
|
Mon Sep 23 22:15:50 UTC 2019
a/aaa_elflibs-15.0-x86_64-11.txz: Rebuilt.
Upgraded: libelf-0.177.so, libcurl.so.4.6.0, libexpat.so.1.6.10,
libglib-2.0.so.0.6200.0, libgmodule-2.0.so.0.6200.0,
libgobject-2.0.so.0.6200.0, libgthread-2.0.so.0.6200.0,
libstdc++.so.6.0.27, libtdb.so.1.4.2, libusb-1.0.so.0.2.0.
Added: libisl.so.21.0.0, libmpc.so.3.1.0.
a/kernel-firmware-20190923_417a9c6-noarch-1.txz: Upgraded.
d/gcc-9.2.0-x86_64-2.txz: Rebuilt.
Recompiled using --with-isl. The isl package is now required.
d/gcc-brig-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-g++-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gdc-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gfortran-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gnat-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-go-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-objc-9.2.0-x86_64-2.txz: Rebuilt.
l/imagemagick-6.9.10_66-x86_64-1.txz: Upgraded.
l/isl-0.21-x86_64-1.txz: Added.
Necessary to build GCC with the Graphite loop optimizations.
l/libical-3.0.6-x86_64-2.txz: Rebuilt.
Rebuilt with -DGOBJECT_INTROSPECTION=true and -DICAL_GLIB_VAPI=true.
Thanks to Skaendo.
l/v4l-utils-1.18.0-x86_64-1.txz: Upgraded.
x/xterm-349-x86_64-1.txz: Upgraded.
2019-09-24 00:15:50 +02:00
|
|
|
isl: the sets and relations may involve both parameters and existentially
|
2020-11-14 03:43:46 +01:00
|
|
|
isl: quantified variables. All computations are performed in exact integer
|
Mon Sep 23 22:15:50 UTC 2019
a/aaa_elflibs-15.0-x86_64-11.txz: Rebuilt.
Upgraded: libelf-0.177.so, libcurl.so.4.6.0, libexpat.so.1.6.10,
libglib-2.0.so.0.6200.0, libgmodule-2.0.so.0.6200.0,
libgobject-2.0.so.0.6200.0, libgthread-2.0.so.0.6200.0,
libstdc++.so.6.0.27, libtdb.so.1.4.2, libusb-1.0.so.0.2.0.
Added: libisl.so.21.0.0, libmpc.so.3.1.0.
a/kernel-firmware-20190923_417a9c6-noarch-1.txz: Upgraded.
d/gcc-9.2.0-x86_64-2.txz: Rebuilt.
Recompiled using --with-isl. The isl package is now required.
d/gcc-brig-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-g++-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gdc-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gfortran-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gnat-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-go-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-objc-9.2.0-x86_64-2.txz: Rebuilt.
l/imagemagick-6.9.10_66-x86_64-1.txz: Upgraded.
l/isl-0.21-x86_64-1.txz: Added.
Necessary to build GCC with the Graphite loop optimizations.
l/libical-3.0.6-x86_64-2.txz: Rebuilt.
Rebuilt with -DGOBJECT_INTROSPECTION=true and -DICAL_GLIB_VAPI=true.
Thanks to Skaendo.
l/v4l-utils-1.18.0-x86_64-1.txz: Upgraded.
x/xterm-349-x86_64-1.txz: Upgraded.
2019-09-24 00:15:50 +02:00
|
|
|
isl: arithmetic using GMP.
|
|
|
|
isl:
|
2023-04-07 02:51:44 +02:00
|
|
|
isl: Homepage: https://libisl.sourceforge.io
|
Mon Sep 23 22:15:50 UTC 2019
a/aaa_elflibs-15.0-x86_64-11.txz: Rebuilt.
Upgraded: libelf-0.177.so, libcurl.so.4.6.0, libexpat.so.1.6.10,
libglib-2.0.so.0.6200.0, libgmodule-2.0.so.0.6200.0,
libgobject-2.0.so.0.6200.0, libgthread-2.0.so.0.6200.0,
libstdc++.so.6.0.27, libtdb.so.1.4.2, libusb-1.0.so.0.2.0.
Added: libisl.so.21.0.0, libmpc.so.3.1.0.
a/kernel-firmware-20190923_417a9c6-noarch-1.txz: Upgraded.
d/gcc-9.2.0-x86_64-2.txz: Rebuilt.
Recompiled using --with-isl. The isl package is now required.
d/gcc-brig-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-g++-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gdc-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gfortran-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-gnat-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-go-9.2.0-x86_64-2.txz: Rebuilt.
d/gcc-objc-9.2.0-x86_64-2.txz: Rebuilt.
l/imagemagick-6.9.10_66-x86_64-1.txz: Upgraded.
l/isl-0.21-x86_64-1.txz: Added.
Necessary to build GCC with the Graphite loop optimizations.
l/libical-3.0.6-x86_64-2.txz: Rebuilt.
Rebuilt with -DGOBJECT_INTROSPECTION=true and -DICAL_GLIB_VAPI=true.
Thanks to Skaendo.
l/v4l-utils-1.18.0-x86_64-1.txz: Upgraded.
x/xterm-349-x86_64-1.txz: Upgraded.
2019-09-24 00:15:50 +02:00
|
|
|
isl:
|
|
|
|
isl:
|