On Tue, May 23, 2023 at 11:02 PM John H Palmieri <[email protected]> wrote:
>
> There was a problem with Singular, but that should have been fixed in #34851, 
> merged into 10.0.beta0 in February. 
> (https://github.com/sagemath/sage/issues/34851)

it's only Debian experimental that is on Singular 4.3.2, the previous
Debians are on 4.3.1
https://packages.debian.org/experimental/singular


>
> On Tuesday, May 23, 2023 at 1:11:50 PM UTC-7 [email protected] wrote:
>>
>> On Monday, May 22, 2023 at 11:39:09 PM UTC-7 tdumont wrote:
>>
>>
>> On debian testing (buster) no problem when updating from 10.0.
>>
>> A question:
>> - since some months (?) I always configure "without system singular"
>> ( ./configure --without-system-singular ), as singular in debian testing
>> changed to a recent version.
>>
>> * Is it always necessary ? (yes, I think...)
>>
>>
>> I'm not aware of a problem with system singular on debian.
>>
>> On debian-buster, our configure script rejects system singular because of 
>> dependencies. 
>> https://github.com/sagemath/sage/actions/runs/5031589540/jobs/9024750374#step:11:2494
>>
>> Likewise on debian-bullseye: 
>> https://github.com/sagemath/sage/actions/runs/5031589540/jobs/9024750402#step:11:2603
>>
>> On debian-bookworm, the system package is accepted: 
>> https://github.com/sagemath/sage/actions/runs/5031589540/jobs/9024750423#step:11:2754
>> and all tests pass: 
>> https://github.com/sagemath/sage/actions/runs/5031589540/jobs/9026953445#step:11:11651
>>
>> Likewise on debian-sid.
>>
>> (These runs are for the 10.0 release.)
>>
>>
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-release" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to [email protected].
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-release/fc6519f9-12ef-4989-b56b-e59bece1be99n%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/CAAWYfq3seUOsKP0F9oJVcvt1%3DYc2kDEbOJ1f68aO881_UrjTow%40mail.gmail.com.

Reply via email to