Your message dated Fri, 15 Apr 2011 21:47:30 +0000
with message-id <e1qaqrs-0007ak...@franck.debian.org>
and subject line Bug#617551: fixed in spark 2010.0.deb-1
has caused the Debian Bug report #617551,
regarding ITP: spark -- SPARK programming language tools
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
617551: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=617551
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: "Євгеній Мещеряков" <eu...@debian.org>
* Package name : spark
Version : spark-gpl-2010-SMT
* URL : http://libre.adacore.com/libre/tools/spark-gpl-edition/
* License : GPL3+
Programming Lang: Ada, Prolog, C++
Description : SPARK programming language toolset
SPARK is a programming language and a set of software development
products for high assurance software. The SPARK programming language is
the only language specifically designed to support the development of
safety or security critical software. In combination with the SPARK
toolset, SPARK prevents, detects and eliminates defects early in the
lifecycle as the source code is developed. It is, effectively, the
result of applying the principles of Correctness by Construction to the
design of a programming language and associated verification tools.
This package contains tools for verification of programs written in
SPARK. To compile SPARK programs use Ada compiller available in package
'gnat'.
---
The description is stolen from the upstream homepage
(http://altran-praxis.com/spark.aspx). Corrections/improvements are
welcome.
--- End Message ---
--- Begin Message ---
Source: spark
Source-Version: 2010.0.deb-1
We believe that the bug you reported is fixed in the latest version of
spark, which is due to be installed in the Debian FTP archive:
spark_2010.0.deb-1.debian.tar.gz
to main/s/spark/spark_2010.0.deb-1.debian.tar.gz
spark_2010.0.deb-1.dsc
to main/s/spark/spark_2010.0.deb-1.dsc
spark_2010.0.deb-1_amd64.deb
to main/s/spark/spark_2010.0.deb-1_amd64.deb
spark_2010.0.deb.orig.tar.gz
to main/s/spark/spark_2010.0.deb.orig.tar.gz
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 617...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Євгеній Мещеряков <eu...@debian.org> (supplier of updated spark package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 27 Mar 2011 22:14:12 +0200
Source: spark
Binary: spark
Architecture: source amd64
Version: 2010.0.deb-1
Distribution: unstable
Urgency: low
Maintainer: Євгеній Мещеряков <eu...@debian.org>
Changed-By: Євгеній Мещеряков <eu...@debian.org>
Description:
spark - SPARK programming language toolset
Closes: 617551
Changes:
spark (2010.0.deb-1) unstable; urgency=low
.
* Initial release (Closes: #617551)
Checksums-Sha1:
33a5c37f4cc92c84797e330fd98c64dd72e94f1c 1146 spark_2010.0.deb-1.dsc
f94e0ddbe415bc68e717a54c66cbad28e354f925 2493443 spark_2010.0.deb.orig.tar.gz
de793ff7a07d195d780fc25ac118e2e10b206ad2 19262 spark_2010.0.deb-1.debian.tar.gz
7e0c236bb2406d8a9e8e3ecf9774d9aaec02ee46 4364598 spark_2010.0.deb-1_amd64.deb
Checksums-Sha256:
d5a73b576811aea2afce593e88c7a7bb37276cc5fb27eb7a74304f2834a0e533 1146
spark_2010.0.deb-1.dsc
2c03c1d542e89bdc4917fe265d831fd8331bbbf148eb604ade4d8153ff4e78a1 2493443
spark_2010.0.deb.orig.tar.gz
111c46e3bf4a247ea25f7c3eeef3822178411cc5e8d2ae5349e171685df8b954 19262
spark_2010.0.deb-1.debian.tar.gz
2227b2d97ef4da80fac110c57958488160805e2d1193cfa80b392df9c2543a5f 4364598
spark_2010.0.deb-1_amd64.deb
Files:
1f85a336c90ac820405e7c67452dd639 1146 devel optional spark_2010.0.deb-1.dsc
e5fd66c4c4c300d64e0b5eeafc0bdd4c 2493443 devel optional
spark_2010.0.deb.orig.tar.gz
0a2f21574fa4b11ef7b88985ba988497 19262 devel optional
spark_2010.0.deb-1.debian.tar.gz
144d019aaa3620be7b531e6a3043e481 4364598 devel optional
spark_2010.0.deb-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2PqqwACgkQKaC6+zmozOIrFgCcCXDSFBFddq6TMpQEoD3myH+c
+HcAnj+LUBzFy3GfSwCpqANVd2M3z/fH
=Vswy
-----END PGP SIGNATURE-----
--- End Message ---
