-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 03 May 2014 03:03:08 +0200 Source: spark Binary: spark Architecture: source amd64 Version: 2012.0.deb-9 Distribution: unstable Urgency: medium Maintainer: Євгеній Мещеряков <eugen@debian.org> Changed-By: Євгеній Мещеряков <eugen@debian.org> Description: spark - SPARK programming language toolset Changes: spark (2012.0.deb-9) unstable; urgency=medium . * Use hardening flags * Disable gnat style checks, they are changed in the new version and cause build errors * Update patches: - ada-link-env-flags.diff - fix linker flags for sparkclean - victor-use-env-opt-flags.diff - fix CPPFLAGS and LDFLAGS for victor Checksums-Sha1: 37a7effc52cf109fdb08e3a3f45db47bf18284f6 1947 spark_2012.0.deb-9.dsc a216da9dc0edd52851da7a2771a41bd2c43f38a7 19676 spark_2012.0.deb-9.debian.tar.xz 3498e46787501c086c461e3a04d558e989e2cfe5 2031298 spark_2012.0.deb-9_amd64.deb Checksums-Sha256: 17c5a0478c6c0519ba81679d6cae1332421c0651bb09834cad5fe36acf54315e 1947 spark_2012.0.deb-9.dsc d6f2353c0b4506124581cad385ab7b99ec75c729a4cb9fbc0815dd45c12f9652 19676 spark_2012.0.deb-9.debian.tar.xz 35f6e1c275422fe7e6a571268a6a5654595d762ddef3125ad44988015c7bbcd6 2031298 spark_2012.0.deb-9_amd64.deb Files: f5e72714b89a74bd512f59f45b24ea07 2031298 devel optional spark_2012.0.deb-9_amd64.deb 433864ee9037673b5d59aa48a5d3e969 1947 devel optional spark_2012.0.deb-9.dsc 3ad7f9a86399e05241252b3035ae6356 19676 devel optional spark_2012.0.deb-9.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTZEcjAAoJEMFtqOf0Ubk8j/sP/RMgcY0DWD3VSGCdIhDEmqOo 5M1q1kF9Gi86QibR/We49ZfCNpv59aXINdvRXz8gpGcAk8go9uh7XPjpzGU265S+ Bs2Kspxux7U3D0yXc2iYLHD1BTsl36BshNbhnmPlXtCLyFIWasrkpYxhedCEC1/n EpWr6QtV6IJ43lEc8K56aNRaUfOq1YC0JVmWdO9Oywe/8VCQN8BBVkcmO9hZa57D J04Ji9N//bJU59keWdX5lBXbr9HqpT9IZ5VSPPa5eS2U5WrrvV4xpSrk8LhmGa+9 mZsaNARx7VPmTerSaZ2ImFmWm6svt6gomZICMzPGuBL4siVYPiMhCAxIBdUcH8vR VH1dCvjYmS4lg0rliaP25TAYy1nm1zUOA17lcpJkFypZ6PfMK43khAU+29ckWEFo Cm0WVJ7NkSWyCz/RYHmrXeD8YObEaEGKGs4rE7L+aGpIvBc4/nVOpWdOxngb+skN 1TftAINz3jF4fkxFlF3b44icYrtULWvMw3tonYhIen2aKE8FzkHJSoYYCqMY5cl3 6lUKGraXScyLkka7zSuWN246UxMUA0sBTtju9JHeAafTuuJXgMNPsuYwgP+NJptd WQQbSkTH+6v49F2RANF2Ee1HMBwecT/1NQFhMQdUA7w30NthSFx7Bx8V4nU59UO6 tb5zyzCVrYf1UGbWFT5e =qUyM -----END PGP SIGNATURE-----