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

Bug#522914: marked as done (ITP: agda-stdlib -- standard library for Agda - a)

Your message dated Fri, 05 Feb 2010 17:17:12 +0000
with message-id <E1NdRns-0002WX-G6@ries.debian.org>
and subject line Bug#522914: fixed in agda-stdlib 0.3-1
has caused the Debian Bug report #522914,
regarding ITP: agda-stdlib -- standard library for Agda - a
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.)


-- 
522914: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522914
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
  Version         : 2.2.0
  Upstream Author : Ulf Norell <ulfn@chalmers.se>
* URL             : http://wiki.portal.chalmers.se/agda/
* License         : MIT/X11
  Programming Lang: Haskell
  Description     : 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 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-Lf. It has many similarities with other
proof assistants based on dependent types, such as Coq, Epigram and
NuPRL.

-- System Information:
Debian Release: 5.0
  APT prefers jaunty-updates
  APT policy: (500, 'jaunty-updates'), (500, 'jaunty-security'), (500, 'jaunty-backports'), (500, 'jaunty')
Architecture: i386 (i686)

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.

--- End Message ---
--- Begin Message --- 
Source: agda-stdlib
Source-Version: 0.3-1

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

agda-stdlib-doc_0.3-1_all.deb
  to main/a/agda-stdlib/agda-stdlib-doc_0.3-1_all.deb
agda-stdlib_0.3-1.diff.gz
  to main/a/agda-stdlib/agda-stdlib_0.3-1.diff.gz
agda-stdlib_0.3-1.dsc
  to main/a/agda-stdlib/agda-stdlib_0.3-1.dsc
agda-stdlib_0.3-1_amd64.deb
  to main/a/agda-stdlib/agda-stdlib_0.3-1_amd64.deb
agda-stdlib_0.3.orig.tar.gz
  to main/a/agda-stdlib/agda-stdlib_0.3.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 522914@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-stdlib 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: SHA256

Format: 1.8
Date: Fri, 08 Jan 2010 23:35:09 +0000
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source amd64 all
Version: 0.3-1
Distribution: unstable
Urgency: low
Maintainer: Iain Lane <laney@ubuntu.com>
Changed-By: Iain Lane <laney@ubuntu.com>
Description: 
 agda-stdlib - a dependently typed functional programming language - standard li
 agda-stdlib-doc - a dependently typed functional programming language - profiling l
Closes: 522914
Changes: 
 agda-stdlib (0.3-1) unstable; urgency=low
 .
   * Initial release. (Closes: #522914)
Checksums-Sha1: 
 e5017d782113e63becb47570b14339d47bb10bec 1605 agda-stdlib_0.3-1.dsc
 ffdce8c14f6f8eea1b8bb617e427222ff20dc3d5 150153 agda-stdlib_0.3.orig.tar.gz
 bf545eb02472ca8acddde8761d4e26b16fc1ac24 2660 agda-stdlib_0.3-1.diff.gz
 1ae2675cdfc2c164c6cb3d54c17a19b3f234b0b4 12068466 agda-stdlib_0.3-1_amd64.deb
 281ab6fe5754ea14a52b1c4f0593502208d55653 1179998 agda-stdlib-doc_0.3-1_all.deb
Checksums-Sha256: 
 3f31b657d174b01c6ecb5f0ad4085a12cad539ea5abeac6679fa5952c4bd9cd8 1605 agda-stdlib_0.3-1.dsc
 73c0bd5d91728c6561a35338263ed04878c2d3eabb4e5f5ebdc79f666ef5fc8d 150153 agda-stdlib_0.3.orig.tar.gz
 0c5fbbdaf517357bad47886d22d9e792e0b5f62c2fdb157d326dda9e4a47a0f0 2660 agda-stdlib_0.3-1.diff.gz
 182ed1f47086486cb0c6d722ca472dd0622640910d93c7a62c73ed640ec22720 12068466 agda-stdlib_0.3-1_amd64.deb
 0eac4dadcd956d3b6748e2e35eb43a5aea02733d4a066f7fa188347a28717318 1179998 agda-stdlib-doc_0.3-1_all.deb
Files: 
 2ad825d094959aabe36ff46f8980cd9a 1605 libs extra agda-stdlib_0.3-1.dsc
 7a58639a0fdfdb4b748de208d657d999 150153 libs extra agda-stdlib_0.3.orig.tar.gz
 aa06c4d5aff93985c8760549e2e117ea 2660 libs extra agda-stdlib_0.3-1.diff.gz
 637f560ae8a23c383553ec9d889fcb77 12068466 libs extra agda-stdlib_0.3-1_amd64.deb
 b4e0d9892ac75ff28226d3e7e7e8efb5 1179998 doc extra agda-stdlib-doc_0.3-1_all.deb

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

iQEcBAEBCAAGBQJLaKPWAAoJEMkPnLkOH60MepkIAIJNA/s2lTURL+F1T/19DX1H
I1ZK2wsEPHrDNUMyhlazFHIRHcUZ6SoGWmFnZ+Zfl1a4KtbxTACnNwtzSokQHbAG
y8Qnqd4l5C5tk+8bC7lh5sm+HaI9x4tIZgmiBhDJrf7Fwk5fWDhVv6TBWcEoGv1+
sA25s+iouWNMhg0j6qxpibUVYFI41Jf1VHbczpLupsxbtT/lLKRNvLqaH2BLk7dF
1+OwBq8GTTiHaRRPnAf+Z+I17QpCV5b4LVHN+gxnFBVnwaqeLoIn+J11pm61OBZW
XvB3Jr0tt1d0FiOxct4s3Mz06ZCx7oJulm6Ax/w8yFanmee9K07OxKCTq4WKJeI=
=Uy78
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: