Hi all Would you be aware of any z3ext debian (or ubuntu) package? ( -> http://z3ext.net/ ) -- Architecte Informatique chez Blueline/Gulfsat: Administration Systeme, Recherche & Developpement +261 34 29 155 34