Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.bugs.dist > #1148936

Bug#1037181: fricas: viewman and hypertex are not present in packages

Show all headers | View raw

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

Back to linux.debian.bugs.dist | Previous | Next | Find similar | Unroll thread

Thread

Bug#1037181: fricas: viewman and hypertex are not present in packages Uwe Krüger <uwe_debbug@arcor.de> - 2023-06-07 11:10 +0200

csiph-web