Package: gmp-doc Version: 6.0.0-1 Severity: serious Tags: stretch buster sid
Hi, src:gmp is at version 6.1.2 while src:gmp-doc is at version 6.0.0. Does the documentation need to be updated to match the library? Please downgrade the severity to wishlist if the 6.0.0 documentation does not lack anything relevant for 6.1.2. Andreas
