Package: fricas
Version: 1.3.8-6
Severity: important
Dear Maintainer,
* What led up to the situation?
I tried to use fricas. I installed it from the package repositories via "apt
install
fricas". This did automatically install the additional packages fricas-
graphics,
fricas-graphics-data, fricas-hypertex and fricas-hypertex-data.
* What exactly did you do (or not do) that was effective (or
ineffective)?
$ fricas
* What was the outcome of this action?
viewman not present, disabling graphics
hypertex not present, disabling
openServer result 0
FriCAS Computer Algebra System
Version: FriCAS 1.3.8
Timestamp: Sat Jan 14 01:56:30 UTC 2023
...
No additional Window is opened. Plotting does not work.
* What outcome did you expect instead?
- this is the Output on Ubuntu-22.04 - Debian-11 gives a similar result:
openServer result 0
FriCAS Computer Algebra System
Version: FriCAS 1.3.7
Timestamp: Thu Jan 27 17:18:42 UTC 2022
...
Furthermore the "Fricas HyperDoc" Window opens.
* Analysis
The packages fricas-hypertex and fricas-graphics are supposed to have the
following
binaries:
/usr/lib/fricas/target/x86_64-pc-linux-gnu/bin/htadd
/usr/lib/fricas/target/x86_64-pc-linux-gnu/bin/hypertex
/usr/lib/fricas/target/x86_64-pc-linux-gnu/lib/hthits
/usr/lib/fricas/target/x86_64-pc-linux-gnu/lib/htsearch
and
/usr/lib/fricas/target/x86_64-pc-linux-gnu/bin/viewAlone
/usr/lib/fricas/target/x86_64-pc-linux-gnu/lib/view2D
/usr/lib/fricas/target/x86_64-pc-linux-gnu/lib/view3D
/usr/lib/fricas/target/x86_64-pc-linux-gnu/lib/viewman
These files are missing in the downloadable packages.
I have recompiled fricas using "dpkg-buildpackage -rfakeroot -b" and the
newly created packages were complete, i.e. no files were missing anymore.
So the simplest solution would just be rebuilding the packages (maybe
incrementing the patch number not enforce updates).
-- System Information:
Debian Release: 12.0
APT prefers testing-security
APT policy: (500, 'testing-security'), (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 6.1.0-9-amd64 (SMP w/4 CPU threads; PREEMPT)
Locale: LANG=C.UTF-8, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages fricas depends on:
ii fricas-databases 1.3.8-6
ii libc6 2.36-9
ii libedit2 3.1-20221030-2
ii libgmp10 2:6.2.1+dfsg1-1.1
ii libtirpc3 1.3.3+ds-1
ii libx11-6 2:1.8.4-2
ii mawk 1.3.4.20200120-3.1
Versions of packages fricas recommends:
ii fricas-doc 1.3.8-6
ii fricas-graphics 1.3.8-6
ii fricas-hypertex 1.3.8-6
ii fricas-source 1.3.8-6
Versions of packages fricas suggests:
pn fricas-test <none>
pn fricas-tex <none>
pn nowebm <none>
pn texmacs <none>
-- no debconf information
