Bug#1038819: marked as done (coq-unimath: Please re-enable support for riscv64)
Your message dated Thu, 22 Jun 2023 07:44:01 +0200
with message-id <04cf2f59ccb83f45d5a93e5d7528aaf08b003069.camel@gmail.com>
and subject line Re: Bug#1038819: coq-unimath: Please re-enable support for riscv64
has caused the Debian Bug report #1038819,
regarding coq-unimath: Please re-enable support for riscv64
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 owner@bugs.debian.org
immediately.)
--
1038819: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1038819
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: coq-unimath
Version: 20230420-3
Severity: important
User: debian-riscv@lists.debian.org
Usertags: riscv64
Dear maintainer,
According to the changelog, coq-unimath version 20230420-3 dropped
support for 32-bit architectures, but at the same time also dropped
support for a few 64-bit architectures. At least riscv64 was building
fine before that change:
https://buildd.debian.org/status/logs.php?pkg=coq-unimath&arch=riscv64
Therefore, could you please re-enable the build on riscv64?
Thanks,
Aurelien
--- End Message ---
--- Begin Message ---
Hi,
Le mercredi 21 juin 2023 à 20:25 +0200, Aurelien Jarno a écrit :
> Source: coq-unimath
> Version: 20230420-3
> Severity: important
> User: debian-riscv@lists.debian.org
> Usertags: riscv64
>
> Dear maintainer,
>
> According to the changelog, coq-unimath version 20230420-3 dropped
> support for 32-bit architectures, but at the same time also dropped
> support for a few 64-bit architectures. At least riscv64 was building
> fine before that change:
>
> https://buildd.debian.org/status/logs.php?pkg=coq-unimath&arch=riscv64
>
> Therefore, could you please re-enable the build on riscv64?
in fact Adrien Nader saw upstream had a fixing commit and after some
discussion and testing with his input I could upload 20230420-4 this
morning which re-enables everything!
Thanks,
J.Puydt
--- End Message ---
Reply to: