[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#617551: marked as done (ITP: spark -- SPARK programming language tools)

Your message dated Fri, 15 Apr 2011 21:47:30 +0000
with message-id <E1QAqrS-0007aK-6C@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 owner@bugs.debian.org
immediately.)


-- 
617551: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=617551
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: "Євгеній Мещеряков" <eugen@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 617551@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Євгеній Мещеряков <eugen@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 ftpmaster@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: Євгеній Мещеряков <eugen@debian.org>
Changed-By: Євгеній Мещеряков <eugen@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 ---
Reply to: