this package seems to have a new changelog entry (version
experimental) and new commits
in its VCS. You should consider whether it's time to make
Here are the relevant commit messages:
Author: Nicolas Boulenguez <email@example.com>
Date: Wed Apr 22 17:51:24 2020 +0200
Build with gnat-10. Rename lib and -dev package accordingly.
Drop obsolete Pre-Depends and unused variable in autopkgtest.