title = "gmp 5"; is_affected = .build-depends ~ /(lib(32|64)?gmp(3|10)-dev|libgmp-dev)/; is_bad = .depends ~ /(lib(32|64)gmp3|libgmp3c2)/; is_good = .depends ~ /lib(32|64)?gmp10/;