-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 22 Jul 2011 20:07:31 +0200
Source: spark
Binary: spark
Architecture: source amd64
Version: 2011.0.deb-1
Distribution: experimental
Urgency: low
Maintainer: Євгеній Мещеряков <eugen@debian.org>
Changed-By: Євгеній Мещеряков <eugen@debian.org>
Description:
spark - SPARK programming language toolset
Changes:
spark (2011.0.deb-1) experimental; urgency=low
.
* New upstream release
* Upload to experimental for now (till new version of swi-prolog migrates to
testing)
* Build-depend on gnat-4.6 while in experimental
* Update debian/copyright
* Updated patches:
- debian-architecture-detect.diff
- no-alt-ergo.diff
- checker-redefine-flatten.diff
- checker-remove-close_all_streams.diff
- make-dependencies.diff
- victor-no-static-gmp.diff
- ada-use-evn-optflags.diff
- simplifier-swi-save.diff
- simplifier-remove-close_all_streams.diff
- ada-use-evn-optflags.diff
- makefile-gnatmake-par-envvar.diff
* Simplified and renamed patches:
- debian/patches/simplifier-list_to_set-instead-of-remove_dups.diff
→ simplifier-library-lists-instead-of-sets.diff
* Removed patches:
- simplifier-halt.diff
- sparklarl-redundant-conversion.diff
- examiner-useless-assignment.diff
- examiner-redundant-conversion.diff
- checker-look-for-SPARK-in-line-2.diff
- examiner-dont-optimize-sem.adb.diff
Checksums-Sha1:
0e543f555a001bfea46dd5369acd1ad843fa6a48 1277 spark_2011.0.deb-1.dsc
b4885a51baf4f1bb5eb2fc144d541d0312458bfb 2575232 spark_2011.0.deb.orig.tar.gz
531e93ab4ed9f34e54e9e37eb6f9a127b462ae65 21880 spark_2011.0.deb-1.debian.tar.gz
b506f8fb0ffa1e2ba593029063596c8a98617677 3541718 spark_2011.0.deb-1_amd64.deb
Checksums-Sha256:
6f4c0975de7a74de43796b541d3149acc5cdd1046249d20304a512ecaa7e602e 1277 spark_2011.0.deb-1.dsc
8572edb07de7dcd382237b54690129d5c359d86e18ddffc016d532a3d708b15c 2575232 spark_2011.0.deb.orig.tar.gz
a6e699874ba7f30b6acd47b903ea2e20bc893e5201e0bb0257f0487a2b398a5a 21880 spark_2011.0.deb-1.debian.tar.gz
546bda50be3d2c07b33eefed5ec6e3f1cf8ad6313e545bcad16f5e3900859442 3541718 spark_2011.0.deb-1_amd64.deb
Files:
ccb83ef14c88068fe8a44ed5a8a5b93b 1277 devel optional spark_2011.0.deb-1.dsc
4939bdd0f502791b36cc0bb9d55444fd 2575232 devel optional spark_2011.0.deb.orig.tar.gz
1fd2aec59af1ec0f74a9e9666b0c0202 21880 devel optional spark_2011.0.deb-1.debian.tar.gz
28ef0a74b42e2c4a8527216652a94b3b 3541718 devel optional spark_2011.0.deb-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk4pw8kACgkQKaC6+zmozOJ4rgCdExhCubqilYTnVknp2IN+C9mK
mFUAnRhmYWSVAx2vwCZr9mCDWgrAB+B7
=cLfC
-----END PGP SIGNATURE-----
Accepted:
spark_2011.0.deb-1.debian.tar.gz
to main/s/spark/spark_2011.0.deb-1.debian.tar.gz
spark_2011.0.deb-1.dsc
to main/s/spark/spark_2011.0.deb-1.dsc
spark_2011.0.deb-1_amd64.deb
to main/s/spark/spark_2011.0.deb-1_amd64.deb
spark_2011.0.deb.orig.tar.gz
to main/s/spark/spark_2011.0.deb.orig.tar.gz
