]> gitweb.michael.orlitzky.com - bash.d.git/commit
sage.sh: don't require isl
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 20 Jan 2025 02:33:25 +0000 (21:33 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 20 Jan 2025 02:33:25 +0000 (21:33 -0500)
commite7b1385d271580cb86114462d86d63027650f211
treebbd748fc560d241df327b9d28fd50d8015c298ec
parent456a680e04a9147d4eb6fccc2d5e91945b0d4079
sage.sh: don't require isl

It's optional, even in sage-the-distro.
sage.sh