Package: libgnat-4.0 Version: 4.0.0-2 Severity: grave Tags: experimental Justification: renders package uninstallable libgnat-4.0 depends on libgcc1 (>= 1:4.0-0pre6ubuntu4), when the available version is 1:4.0.0-2 (from same source package). -- Ludovic Brenta.