-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 19 Sep 2011 17:22:02 +0200 Source: spark Binary: spark Architecture: source amd64 Version: 2011.0.deb-3 Distribution: unstable Urgency: low Maintainer: Євгеній Мещеряков <eugen@debian.org> Changed-By: Євгеній Мещеряков <eugen@debian.org> Description: spark - SPARK programming language toolset Changes: spark (2011.0.deb-3) unstable; urgency=low . * Add -fdata-sections and -ffunction-sections to Ada compiler flags * New patch: - ada-link-env-flags.diff - get additional linker flags from ADA_LINK environment variable * Add -Wl,--gc-sections to Ada linker flags (1832k installed size reduction) Checksums-Sha1: 7e1b250770c2bd424e3efb77e523276bdf93296e 1273 spark_2011.0.deb-3.dsc 5d61bfaa34c840d000fc9930af0beed0cdd44051 22525 spark_2011.0.deb-3.debian.tar.gz 45feb816b6691374573285c2a6ca5818ce02968a 2761838 spark_2011.0.deb-3_amd64.deb Checksums-Sha256: 3e57b4a23499d2ab59a04fed09772cea861c88ff7e2c95c4aefe8b477003c480 1273 spark_2011.0.deb-3.dsc 3b64bfe38c8cfc8481cfeb5476fbcaf130c3493ec9e4b1e38d15623afa470ddc 22525 spark_2011.0.deb-3.debian.tar.gz bb0c0bc124e3ad33f02a88d8ef4d3945adedf9c3b32c9a9cf35a4f49dab8442d 2761838 spark_2011.0.deb-3_amd64.deb Files: a37a8f32b84ef329106e3cd78ba49169 1273 devel optional spark_2011.0.deb-3.dsc ab521fcc61fb8abbb0602c5175ed59fa 22525 devel optional spark_2011.0.deb-3.debian.tar.gz e8f48aa0cbad701004005e4265fc69d7 2761838 devel optional spark_2011.0.deb-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk53ZEUACgkQKaC6+zmozOJIgwCfc3PHYex3vt3gDxj8w4lHHb5v pc0An0KWaMxyC5Ov434Codo9+VlIv1XJ =iLqs -----END PGP SIGNATURE----- Accepted: spark_2011.0.deb-3.debian.tar.gz to main/s/spark/spark_2011.0.deb-3.debian.tar.gz spark_2011.0.deb-3.dsc to main/s/spark/spark_2011.0.deb-3.dsc spark_2011.0.deb-3_amd64.deb to main/s/spark/spark_2011.0.deb-3_amd64.deb