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

Bug#537705: marked as done (ITP: agda-executable -- Commandline interface to Agda -- a dependently typed functional programming language and proof assistant)

Your message dated Sat, 15 Aug 2009 14:15:23 +0000
with message-id <E1McK2V-0004yD-IO@ries.debian.org>
and subject line Bug#537705: fixed in agda-bin 2.2.4-1
has caused the Debian Bug report #537705,
regarding ITP: agda-executable -- Commandline interface to Agda -- a dependently typed functional programming language and proof assistant
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.)


-- 
537705: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=537705
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Iain Lane <laney@ubuntu.com>

* Package name    : agda-executable
  Version         : 2.2.4
  Upstream Author : Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ...
* URL             : http://wiki.portal.chalmers.se/agda/
* License         : Other (BSD-like)
  Programming Lang: Haskell
  Description     : Commandline interface to Agda -- a dependently typed functional programming language and proof assistant

 Agda is a dependently typed functional programming language: It has inductive
 families, which are like Haskell's GADTs, but they can be indexed by values and
 not just types. It also has parameterised modules, mixfix operators, Unicode
 characters, and an interactive Emacs interface (the type checker can assist in
 the development of your code).
 
 Agda is also a proof assistant: It is an interactive system for writing and
 checking proofs. Agda is based on intuitionistic type theory, a foundational
 system for constructive mathematics developed by the Swedish logician Per
 Martin-Löf. It has many similarities with other proof assistants based on
 dependent types, such as Coq, Epigram and NuPRL.

 This package provides a command-line program for type-checking and
 compiling Agda programs. The program can also generate hyperlinked,
 highlighted HTML files from Agda sources.

--- End Message ---
--- Begin Message --- 
Source: agda-bin
Source-Version: 2.2.4-1

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

agda-bin_2.2.4-1.diff.gz
  to pool/main/a/agda-bin/agda-bin_2.2.4-1.diff.gz
agda-bin_2.2.4-1.dsc
  to pool/main/a/agda-bin/agda-bin_2.2.4-1.dsc
agda-bin_2.2.4-1_i386.deb
  to pool/main/a/agda-bin/agda-bin_2.2.4-1_i386.deb
agda-bin_2.2.4.orig.tar.gz
  to pool/main/a/agda-bin/agda-bin_2.2.4.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 537705@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Iain Lane <laney@ubuntu.com> (supplier of updated agda-bin 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: Wed, 22 Jul 2009 00:14:04 +0100
Source: agda-bin
Binary: agda-bin
Architecture: source i386
Version: 2.2.4-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@ubuntu.com>
Changed-By: Iain Lane <laney@ubuntu.com>
Description: 
 agda-bin   - Commandline interface to Agda
Closes: 537705
Changes: 
 agda-bin (2.2.4-1) unstable; urgency=low
 .
   * Initial release (Closes: #537705)
Checksums-Sha1: 
 f213ed7e18a5457d5e39534d8786123ff03e95bd 1084 agda-bin_2.2.4-1.dsc
 afc0a821196bf677f7e3b05439e0fc00f005e0e0 1587 agda-bin_2.2.4.orig.tar.gz
 5c16f77afbc027626bcac83fd2763d40c810d03f 2093 agda-bin_2.2.4-1.diff.gz
 a823da6959a97f20d76f3911157ab74bd76de015 2395958 agda-bin_2.2.4-1_i386.deb
Checksums-Sha256: 
 5580cea3f62c788cf944b9aa38ccbaf05bee9cdcd1a0ccbb40e7725f8bab6ae1 1084 agda-bin_2.2.4-1.dsc
 8b2cb0523979d9fb3832d1d53bf4ca78d4b76740f453f5c742e184082adf1b0b 1587 agda-bin_2.2.4.orig.tar.gz
 34edf4d6e40f78e43932ecc41046109ae625febe312e6b3e25052884b2796c25 2093 agda-bin_2.2.4-1.diff.gz
 2595a030c53b502423388bd893be419c694de7e405b7679b5e6ab4d0beacc73d 2395958 agda-bin_2.2.4-1_i386.deb
Files: 
 154833912beca2abaa1f8701354f0821 1084 haskell optional agda-bin_2.2.4-1.dsc
 d488ba50c50974ea3621fbcfb9f2f869 1587 haskell optional agda-bin_2.2.4.orig.tar.gz
 0ff8f0287b472f1a30d3969560ea1de1 2093 haskell optional agda-bin_2.2.4-1.diff.gz
 7afc6d0e3b1953a188d33167074c2149 2395958 haskell optional agda-bin_2.2.4-1_i386.deb

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

iEYEARECAAYFAkps79kACgkQ5/8uW2NPmiCmLgCfZizLNis4w2F2frbKJCqfrk50
xjQAnRRp2EJC28ZJa8oAFckOKoFJ85S9
=RPZ5
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: