Package: release.debian.org X-Debbugs-CC: Nicolas Boulenguez <nico...@debian.org>
when preparing GCC packages for time_t64, I noticed that we'll have an ABI change for libgnat as well. Instead of doing a gnat 12 -> 12+t64 transition, let's do a gnat 12 -> 13+t64 transition instead. According to Nicolas, packages are already prepared in experimental.
Waiting with the transition until all t64 stuff is finished doesn't work well, packages which need binNMUs will ftbfs.
