On Fri, Sep 21, 2018 at 08:15:06PM +0200, Hilmar Preuße wrote:
>...
> Upstream decided to solve the problem a different way and has released
> version 1.5.1. New package is on [1], could you retest?
Apologies for the late reply, the package in unstable looks good:
Package: rubber
Followup-For: Bug #907988
Hi.
I have checked that 1.5.1 fixes the build-indep target for why3.
On 09.09.2018 15:33, Adrian Bunk wrote:
Hi Adrian,
Did you find the time to answer my question and re-test? Thanks!
> I can confirm that it fixes the why3 build.
>
> Your solution is a bit ouch, but I understand why it is not easy to
> fix in a better way.
>
Upstream decided to solve the
On 09.09.2018 15:33, Adrian Bunk wrote:
Hi Adrian,
> I can confirm that it fixes the why3 build.
>
> Your solution is a bit ouch, but I understand why it is not easy to
> fix in a better way.
>
Upstream decided to solve the problem a different way and has released
version 1.5.1. New package
On Sun, Sep 09, 2018 at 02:19:50PM +0200, Hilmar Preuße wrote:
> On 09.09.2018 12:14, Adrian Bunk wrote:
> > On Sat, Sep 08, 2018 at 11:56:26PM +0200, Hilmar Preuße wrote:
> >> On 04.09.2018 22:49, Adrian Bunk wrote:
>
> Hi Adrian,
Hi Hilmar,
> >>> Package: rubber
> >>> Version: 1.5-1
> >>>
On 09.09.2018 12:14, Adrian Bunk wrote:
> On Sat, Sep 08, 2018 at 11:56:26PM +0200, Hilmar Preuße wrote:
>> On 04.09.2018 22:49, Adrian Bunk wrote:
Hi Adrian,
>>> Package: rubber
>>> Version: 1.5-1
>>> Severity: serious
>>> Control: affects -1 src:why3
>>>
>>>
On 04.09.2018 22:49, Adrian Bunk wrote:
Hi Adrian,
> Package: rubber
> Version: 1.5-1
> Severity: serious
> Control: affects -1 src:why3
>
> https://tests.reproducible-builds.org/debian/rb-pkg/unstable/arm64/why3.html
>
I've uploaded 1.5-2 here [1]. Do you have the chance to test if it
solves
Le 07 septembre 2018 à 12h24, Emmanuel Fleury disait :
> Hi all,
>
> I just reported this bug to the rubber dev-team. Waiting for the next
> bug-fix, I suggested the following fix:
[…]
This patch does indeed solve my problem, namely #907937, thanks!
But #907988 is unfortunately more general:
Hi all,
I just reported this bug to the rubber dev-team. Waiting for the next
bug-fix, I suggested the following fix:
In file /usr/lib/python3/dist-packages/rubber/converters/latex.py, at
line 183:
self.lines = None
try:
- with open (name, encoding='utf-8') as fp:
+ with open
On Wed, Sep 05, 2018 at 06:58:04PM +0200, Hilmar Preuße wrote:
> On 04.09.2018 22:49, Adrian Bunk wrote:
>
> Hi Adrian,
Hi Hilmar,
> thanks for the report!
>
> > cd doc; rubber --warn all --pdf manual.tex
> > Traceback (most recent call last):
> > File "/usr/bin/rubber", line 17, in
> >
On 04.09.2018 22:49, Adrian Bunk wrote:
Hi Adrian,
thanks for the report!
> cd doc; rubber --warn all --pdf manual.tex
> Traceback (most recent call last):
> File "/usr/bin/rubber", line 17, in
> sys.exit (cmdline (args))
> return codecs.ascii_decode(input, self.errors)[0]
>
Package: rubber
Version: 1.5-1
Severity: serious
Control: affects -1 src:why3
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/arm64/why3.html
...
cd doc; rubber --warn all --pdf manual.tex
Traceback (most recent call last):
File "/usr/bin/rubber", line 17, in
sys.exit
12 matches
Mail list logo
