Please remove that pain from my a**.
Seriously, I am not sure why it leads to so many issues. I have been
combing the code on a regular basis for compiler warnings and stuff and
fixing them.
Debian has issue with the dead brial python interface package, which is
definitely unmaintained because we moved the essential bits inside sage.
Why they persisted with it, I do not know.
If people have issues, I welcome them opening them on the tracker so I
can look at them.
Nevertheless moving to newer, better maintained stuff would make my day.
François Bissey
On 2/10/23 08:29, Matthias Koeppe wrote:
I propose to demote this package to experimental.
- It has been declared dead at least once -
https://martinralbrecht.wordpress.com/2015/06/13/polybori-is-dead-it-needs-your-help/
- It has no upstream maintainer (except for ermergency fixes by Francois
Bissey) -
https://github.com/BRiAl/BRiAl/graphs/contributors, https://sourceforge.net/projects/polybori/
- It has been dropped from Debian testing, where it seems to block
SageMath upgrades (Sage is stuck at 9.5 in Debian/Ubuntu)
- The conda and homebrew packages of brial lead to segfaults
(https://github.com/sagemath/sage/issues/35595, https://github.com/sagemath/sage/issues/34780)
- It is disconnected from the advances in SMT (satisfiability modulo
theories) over the past decade (representative
paper: https://arxiv.org/abs/2305.00028v2)
--
You received this message because you are subscribed to the Google
Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send
an email to sage-devel+unsubscr...@googlegroups.com
<mailto:sage-devel+unsubscr...@googlegroups.com>.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/76bc224b-8ed0-4274-9811-1d118737a8edn%40googlegroups.com <https://groups.google.com/d/msgid/sage-devel/76bc224b-8ed0-4274-9811-1d118737a8edn%40googlegroups.com?utm_medium=email&utm_source=footer>.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/453f1e78-46e1-c1eb-1fed-6a777bf144d0%40gmail.com.
