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

Bug#571031: marked as done (ITP: ats-lang-anairiats -- The ATS language compiler Anairiats)

Your message dated Tue, 16 Mar 2010 00:02:11 +0000
with message-id <E1NrKEd-0007pz-3w@ries.debian.org>
and subject line Bug#571031: fixed in ats-lang-anairiats 0.1.8-1
has caused the Debian Bug report #571031,
regarding ITP: ats-lang-anairiats -- The ATS language compiler Anairiats
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.)


-- 
571031: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=571031
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Matthew Danish <mrd@debian.org>

* Package name    : ats-lang-anairiats
  Version         : 0.1.7
  Upstream Author : Hongwei Xi <hwxi@cs.bu.edu>
* URL             : http://www.ats-lang.org/
* License         : GPL-3 and LGPL-2.1
  Programming Lang: ATS, C
  Description     : The ATS language compiler Anairiats

 ATS is a programming language with a highly expressive type system
 rooted in the framework Applied Type System. In particular, both
 dependent types and linear types are available in ATS. The current
 implementation of ATS (ATS/Anairiats) is written in ATS itself. It
 can be as efficient as C/C++ and supports a variety of programming
 paradigms.
 .
 In addition, ATS contains a component ATS/LF that supports a form of
 (interactive) theorem proving, where proofs are constructed as total
 functions. With this component, ATS advocates a programming style
 that combines programming with theorem proving. Furthermore, this
 component may be used as a logical framework to encode various
 deduction systems and their (meta-)properties.

--- End Message ---
--- Begin Message --- 
Source: ats-lang-anairiats
Source-Version: 0.1.8-1

We believe that the bug you reported is fixed in the latest version of
ats-lang-anairiats, which is due to be installed in the Debian FTP archive:

ats-lang-anairiats-examples_0.1.8-1_all.deb
  to main/a/ats-lang-anairiats/ats-lang-anairiats-examples_0.1.8-1_all.deb
ats-lang-anairiats_0.1.8-1.debian.tar.gz
  to main/a/ats-lang-anairiats/ats-lang-anairiats_0.1.8-1.debian.tar.gz
ats-lang-anairiats_0.1.8-1.dsc
  to main/a/ats-lang-anairiats/ats-lang-anairiats_0.1.8-1.dsc
ats-lang-anairiats_0.1.8-1_amd64.deb
  to main/a/ats-lang-anairiats/ats-lang-anairiats_0.1.8-1_amd64.deb
ats-lang-anairiats_0.1.8.orig.tar.gz
  to main/a/ats-lang-anairiats/ats-lang-anairiats_0.1.8.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 571031@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Matthew Danish <mrd@debian.org> (supplier of updated ats-lang-anairiats 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: Fri, 5 Mar 2010 20:35:01 -0500
Source: ats-lang-anairiats
Binary: ats-lang-anairiats ats-lang-anairiats-examples
Architecture: source amd64 all
Version: 0.1.8-1
Distribution: unstable
Urgency: low
Maintainer: Matthew Danish <mrd@debian.org>
Changed-By: Matthew Danish <mrd@debian.org>
Description: 
 ats-lang-anairiats - The ATS language compiler Anairiats
 ats-lang-anairiats-examples - Documentation for the ATS compiler Anairiats
Closes: 571031
Changes: 
 ats-lang-anairiats (0.1.8-1) unstable; urgency=low
 .
   * Initial release (Closes: #571031)
Checksums-Sha1: 
 8bc32dc14cb688cae041cfbca3a430cd39c9f275 1147 ats-lang-anairiats_0.1.8-1.dsc
 cba7c67ce9f3d4c0a56d04a06f1a9cb1d9dda4b2 1738217 ats-lang-anairiats_0.1.8.orig.tar.gz
 e6424695acee08f19f96987385f784d98d9659e4 5576 ats-lang-anairiats_0.1.8-1.debian.tar.gz
 57772c95e5fcb5e022c8d07c3e98a2cb56b31b46 739512 ats-lang-anairiats_0.1.8-1_amd64.deb
 c33379e871d795cc7b673c7c26d5f7dd3a9c0907 117492 ats-lang-anairiats-examples_0.1.8-1_all.deb
Checksums-Sha256: 
 77fba04139f34ca1e51385c363293aafd9b15e1ba40270677658a9fd38cfae9c 1147 ats-lang-anairiats_0.1.8-1.dsc
 8cf408913bc764e5350a6be6733d88a3e746356c5c0a7151fdb3f1c2ddeb150c 1738217 ats-lang-anairiats_0.1.8.orig.tar.gz
 9e2b63f2bcef5613ba83cbf6504f5800a3faca94ae277e454d476283884e47d3 5576 ats-lang-anairiats_0.1.8-1.debian.tar.gz
 a1cb0d200b236fe2e1078114b0a790452ce2a52f1069030f9e29b81f546f83cf 739512 ats-lang-anairiats_0.1.8-1_amd64.deb
 3529ef35c7238da8253423f61181fcea67738e9bd7e7d102ec1a6f886e3c676c 117492 ats-lang-anairiats-examples_0.1.8-1_all.deb
Files: 
 8b9375e3ff248178fe2753ef2d21d043 1147 devel optional ats-lang-anairiats_0.1.8-1.dsc
 ccf622fb5fcf61f78d22e855f339cffb 1738217 devel optional ats-lang-anairiats_0.1.8.orig.tar.gz
 162ba61cc96b84e32a5d18e025bba166 5576 devel optional ats-lang-anairiats_0.1.8-1.debian.tar.gz
 c801e58f937ab9bc27e32cc1f3f54ecb 739512 devel optional ats-lang-anairiats_0.1.8-1_amd64.deb
 a3a955ac0ea4a0f500559bab8bd66879 117492 devel optional ats-lang-anairiats-examples_0.1.8-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkuUFtcACgkQzxUyMsJLYBCHlgCfXGAHHpzYD9eMQIZk0gU0EdQq
0LkAniyBJ+d7J2AjIN7zs4xPy/L9vpQG
=OoF8
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: