[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language





On Sun, 12 Jan 2020 at 16:56, Adam Borowski <kilobyte@angband.pl> wrote:
On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote:
> * Package name    : rumur
>    Version         : 2020.01.11-1

> Changes since the last upload:
>
>    * New upstream release.

Hi!
I'm afraid your package fails autopkgtests, due to a bogus dependency on
non-existing "libgmp".

In the test control file, you declare:
Depends: build-essential, libfl2, libgmp, python3 (>= 3.6), rumur

on the other hand, the built package already has:
Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 9)
with correct dependencies.

Ie, you don't need to specify that explicitly, as it's error-prone, and will
get out of sync the moment libgmp bumps its soname.  Thus, you can just drop
that dependency -- requiring rumur itself will pull in its deps.

Thanks for the quick reply. The autopkgtests actually need the GMP headers as well as .so. So I guess I need libgmp-dev? Or does this need an explicit major version in the package name as well?

Reply to: