Your message dated Thu, 08 Jun 2023 16:38:26 +0000 with message-id <[email protected]> and subject line Bug#1037181: fixed in fricas 1.3.8-7 has caused the Debian Bug report #1037181, regarding fricas: viewman and hypertex are not present in packages to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 1037181: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1037181 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message ---Source: fricas Source-Version: 1.3.8-7 Done: Camm Maguire <[email protected]> We believe that the bug you reported is fixed in the latest version of fricas, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Camm Maguire <[email protected]> (supplier of updated fricas package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 08 Jun 2023 10:04:06 -0400 Source: fricas Architecture: source Version: 1.3.8-7 Distribution: unstable Urgency: medium Maintainer: Camm Maguire <[email protected]> Changed-By: Camm Maguire <[email protected]> Closes: 1037181 Changes: fricas (1.3.8-7) unstable; urgency=medium . * Build depend on libxpm-dev, xvfb in place of libx11-dev. * Bug fix: "viewman and hypertex are not present in packages", thanks to Uwe Krüger (Closes: #1037181). Checksums-Sha1: ac26a174468bd0004c05b5f304a256dfddb781d0 2356 fricas_1.3.8-7.dsc 95d62c6c8e291fd29fa8cddb7a4704ad5654395b 245312 fricas_1.3.8-7.debian.tar.xz 838681ae08373cbe187b31e730e0c589775df6c7 11219 fricas_1.3.8-7_source.buildinfo Checksums-Sha256: 6f7dee6a810ae486dff1c07d603606f2b9f58e2624a1a9d97fdc09e0ff5b22c4 2356 fricas_1.3.8-7.dsc b74b14b976531a20819fa6f8837ec15ed2a9d7d8c0a1c6eb1cb521092a78dfb4 245312 fricas_1.3.8-7.debian.tar.xz b77b6f0243e4d07ad71564e676cf88f0dbb9e06042d91ac3a0a4373ffb194d63 11219 fricas_1.3.8-7_source.buildinfo Files: d3d78cc4d184755dfda054570957aca8 2356 math optional fricas_1.3.8-7.dsc f072a6b5106bc84334080f5c1791404b 245312 math optional fricas_1.3.8-7.debian.tar.xz ebc87394891d27d07e5371bb380b2151 11219 math optional fricas_1.3.8-7_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE/iFPNjaXdzJC6BbsuEXOUQ+bcU0FAmSB/hkACgkQuEXOUQ+b cU2/GQ/+MIS1wzfNwdHEd1VUkP4p4V+NZ0A0MHp1s8U+GjlBf8+/lRgKiMwej2Ds owyfERQBh5UQFXk+cwNt59qNJHl9wh8MRtph8UL9I8GoHk0mC5RITHgkopp4b72M vliQrQci3S0Ab+wUuhSn+hluvvFDcEbPufyJUWPYV21oQSmK/l1JMxuA63By4Nfo 8k61vYRHJi1Xx+Q/5/Ogc+nMDeNARNXAQz9rT86tZJRYlAlH9DFBMulhK9aU8yfY MARMbjInukcc9dvl2NnkV4EXZzZ0YcYzvAUroxI0NWRCeE+1VIu2h4DhJxU9RLSJ bYyEDU6zxrm2gvgbakAFebAi7kh0Znd8ZwAtvpeJhsb+ArWUouJ9dCtT+nDWe+TE jKnKByRfvVb8ihfn+o1ahBGNyAXHDwPBjTokbK2le93g4MEqX9HlR8tOBBDrnFBd Rlurw7rG+lU7t1vh25a+LFmAkuSMzKp5RndIUR+j/GGozOm5Mt+xWPP4Ky6pon5B 93BlIJjPnPJE1sVk8UB8H0zPkhK1y8/Dq5y9UGiHEZbvsV/mDdc4EzfV5HOkfGh7 lq+2f0TrQ8nxGojlrMgAQWH5B/+AXE60Ka6AYuFI/WOLsVjl+S1XddZAzslgzmHw r4wubk9IB8tv5f6KuxJSte98F5XFtqd0mfr0NNhDFEDrZl/BJc8= =yLVm -----END PGP SIGNATURE-----
--- End Message ---
