[Debian-science-sagemath] using Debian Singular in latest Sage beta ?

[Dima Pasechnik]

Further inspection shows that the problem is in the official
Ubuntu/Jammy Docker image. Both official Ubuntu's and Debian
singular-doc_4.2.1-p3+ds-1_all.deb files exhibit the same error there.

In Debian/Bookworm image, which carries the same singular-doc version,
everything is fine.

Dima

On Sat, Feb 12, 2022 at 10:54 PM Dima Pasechnik <dimpase at gmail.com> wrote:
>
> On Sat, Feb 12, 2022 at 10:27 PM <dimpase at gmail.com> wrote:
> >
> > On Sat, Feb 12, 2022 at 10:09:50PM +0100, Jerome BENOIT wrote:
> > > Hi,
> > >
> > > On 12/02/2022 21:53, dimpase at gmail.com wrote:
> > > > On Sat, Feb 12, 2022 at 02:42:03PM +0100, Jerome BENOIT wrote:
> > > >> Hello,
> > > >>
> > > >> On 12/02/2022 14:23, Dima Pasechnik wrote:
> > > >>> there are no *.hlp files in /usr/share/doc/singular at all:
> > > >>
> > > >> singular.hlp was renamed singular.info by the upstream team.
> > > >>
> > > >>> Also, /usr/share/doc/singular/html/ consists of broken links to *.png
> > > >>> files, and not *.html at all.
> > > >>
> > > >> I have checked on the latest Sid package:
> > > >> 1] there are broken links;
> > >
> > > I made a typo: there is NO broken link,
> > >
> >
> > I don't know what's exactly is playing up here, but I just got
> > singular-doc_4.2.1-p3+ds-1_all.deb from an Ubuntu mirror, extracted
> > data.tar from it, and, voila:
> >
> > $ tar tvf data.tar.zst | grep info
> > -rw-r--r-- root/root  11478053 2021-12-17 18:24 ./usr/share/doc/singular/singular.info
> >
> > It could be an unpleasant surprise from Docker (I've created a Docker
> > container for Ubuntu Jammy), or perhaps something broken in apt
> > toolchain...
> >
> > Any idea?
>
> # dpkg -i singular-doc_4.2.1-p3+ds-1_all.deb
> (Reading database ... 77479 files and directories currently installed.)
> Preparing to unpack singular-doc_4.2.1-p3+ds-1_all.deb ...
> Unpacking singular-doc (1:4.2.1-p3+ds-1) over (1:4.2.1-p3+ds-1) ...
> Setting up singular-doc (1:4.2.1-p3+ds-1) ...
> # dpkg -V singular-doc | grep info
> missing     /usr/share/doc/singular/singular.info
>
> So somehow this file does not get installed by dpkg.
> Actually, all the files, except broken links, are not installed and
> reported as missing by dpkg -V
> # dpkg -V singular-doc | wc -l
> 4171
>
> How can this happen?
>
>
> Dima
> >
> > Dima
> >
> >
> >
> > >
> > > >> 2] there htm files only.
> > > >
> > > > Thanks for checking.
> > >
> > >
> > > You are wwelcome.
> > > >
> > > > OK, we're putting our Trac ticket on hold, until this is sorted out.
> > > > Hope it could be fixed soon.
> > > >
> > > > Best
> > > > Dima
> > > >
> > >
> > > Cheers,
> > > Jerome
> > >
> > > >>
> > > >> Cheers,
> > > >> Jerome
> > >
> >
> >
> >