<html><body><div>I am not able to test it at the moment, but I think that it is a completely unrelated problem.</div><div><br></div><div>The problem with the missing Lazarus executable is that installing "Lazarus (4.0)" via GUI installs only the lazarus-ide-4.0 package (because that is the package that contains the *.desktop file and so it gets picked by the appstream-generator as the main package) and this package does not depend on the other required packages.</div><div><br></div><div>Regards,</div><div>Daniel</div></body></html>