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

[Dima Pasechnik]

On Sun, Feb 13, 2022 at 9:22 AM Dima Pasechnik <dimpase at gmail.com> wrote:
>
> 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.

I opened https://github.com/tianon/docker-brew-ubuntu-core/issues/230
to notify Ubuntu image builders.

>
> 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
> > > >
> > >
> > >
> > >