Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language
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.
Meow!
--
⢀⣴⠾⠻⢶⣦⠀ A MAP07 (Dead Simple) raspberry tincture recipe: 0.5l 95% alcohol,
⣾⠁⢠⠒⠀⣿⡁ 1kg raspberries, 0.4kg sugar; put into a big jar for 1 month.
⢿⡄⠘⠷⠚⠋⠀ Filter out and throw away the fruits (can dump them into a cake,
⠈⠳⣄⠀⠀⠀⠀ etc), let the drink age at least 3-6 months.
Reply to: