Bug#889711: Error installing libmpfr-doc

2018-02-06 Thread Vincent Lefevre
Control: tags -1 - upstream Not an upstream bug. Upstream does not provide the /usr/share/doc-base/mpfr-manual file, which seems to be generated by Debian tools. On 2018-02-06 09:25:26 +0100, cruncher wrote: > Package: libmpfr-doc > Version: 4.0.1~rc2-1 > Severity: normal > Tags: upstream > > Wh

Processed: Re: Bug#889711: Error installing libmpfr-doc

2018-02-06 Thread Debian Bug Tracking System
Processing control commands: > tags -1 - upstream Bug #889711 [libmpfr-doc] Error installing libmpfr-doc Removed tag(s) upstream. -- 889711: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=889711 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#889711: Error installing libmpfr-doc

2018-02-06 Thread cruncher
Package: libmpfr-doc Version: 4.0.1~rc2-1 Severity: normal Tags: upstream When installing libmpfr-doc you get this error: Error in `/usr/share/doc-base/mpfr-manual', line 12: value of `Format' not specified. Note: `install-docs --verbose --check file_name' may give more details about the above er