Package: release.debian.org Severity: normal The package ompl is of a library. There was a mistake in the name of the package library assigning 16 (libompl16t64) when the ABI number was 17 It is a policy violation because the package should be libompl17.
The library package has no others packages that depend on it, so no transition is necessary. I would like to ask for exception and let the version in experimental to go to unstable. Best regards -- -- Linux User 152692 GPG: 05F4A7A949A2D9AA Catalonia ------------------------------------- A: Because it messes up the order in which people normally read text. Q: Why is top-posting such a bad thing? A: Top-posting. Q: What is the most annoying thing in e-mail?
