A new upstream version 1.3.12 is available, you should consider packaging it.
Marked for autoremoval on 04 October: #1114109high
Version 1.3.11-4 of fricas is marked for autoremoval from testing on Sat 04 Oct 2025. It is affected by #1114109. You should try to prevent the removal by fixing these RC bugs.
Among the 7 debian patches
available in version 1.3.11-4 of the package,
we noticed the following issues:
1 patch
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.