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

Bug#522924: marked as done (ITP: agda -- a dependently typed functional programming)

Your message dated Mon, 10 Aug 2009 22:51:54 +0000
with message-id <E1Madic-0000Id-7C@ries.debian.org>
and subject line Bug#522924: fixed in agda 2.2.2-1
has caused the Debian Bug report #522924,
regarding ITP: agda -- a dependently typed functional programming
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.)


-- 
522924: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=522924
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-stdlib
  Version         : unreleased
  Upstream Author : Nils Anders Danielsson <nad@cs.nott.ac.uk>
* URL             : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
* License         : MIT/X
  Programming Lang: Agda
  Description     : standard library for 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 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.
..
This package contains the standard library for Agda, which provides
some modules for common programming- and proof-structuring idioms.
Modules are included for algebra, category theory, coinduction, data
types, the foreign function interface, induction, IO, relations,
and sized types.

-- 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
Source-Version: 2.2.2-1

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

agda-mode_2.2.2-1_all.deb
  to pool/main/a/agda/agda-mode_2.2.2-1_all.deb
agda_2.2.2-1.diff.gz
  to pool/main/a/agda/agda_2.2.2-1.diff.gz
agda_2.2.2-1.dsc
  to pool/main/a/agda/agda_2.2.2-1.dsc
agda_2.2.2.orig.tar.gz
  to pool/main/a/agda/agda_2.2.2.orig.tar.gz
haskell-agda-doc_2.2.2-1_all.deb
  to pool/main/a/agda/haskell-agda-doc_2.2.2-1_all.deb
libghc6-agda-dev_2.2.2-1_amd64.deb
  to pool/main/a/agda/libghc6-agda-dev_2.2.2-1_amd64.deb
libghc6-agda-prof_2.2.2-1_amd64.deb
  to pool/main/a/agda/libghc6-agda-prof_2.2.2-1_amd64.deb



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 522924@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 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, 20 May 2009 16:08:07 +0100
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@ubuntu.com>
Description: 
 agda-mode  - the emacs mode for Agda
 haskell-agda-doc - a dependently typed functional programming language - documentati
 libghc6-agda-dev - a dependently typed functional programming language - development
 libghc6-agda-prof - a dependently typed functional programming language - profiling l
Closes: 522924
Changes: 
 agda (2.2.2-1) unstable; urgency=low
 .
   * Initial packaging (Closes: #522924)
   * With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for
     their helpful comments
Checksums-Sha1: 
 06fb075aea0b2f068093669304c28b9437fb1a15 2531 agda_2.2.2-1.dsc
 ac1433399e961d72d6eee622814a8daec6156b1b 339490 agda_2.2.2.orig.tar.gz
 5e10e47d3e7a0d78d2f11d3f8eb69f2fbcf87296 4108 agda_2.2.2-1.diff.gz
 5f21985ea2a0b8f485933bc6a16e294bb1e1899c 1084760 haskell-agda-doc_2.2.2-1_all.deb
 2547d8c752cd052f616839f91ad64cc39519b197 36090 agda-mode_2.2.2-1_all.deb
 51728e7715a17f4959cb756e33f892219a41b8e4 8410204 libghc6-agda-dev_2.2.2-1_amd64.deb
 8756b1c9e2cc8d26e0ff15c48fe2e54c91d4f6c8 13051512 libghc6-agda-prof_2.2.2-1_amd64.deb
Checksums-Sha256: 
 4652d42e5f5949b6a9a3fae5c2dc21ed176949b2c5fb13bd84f7d0dc66c60374 2531 agda_2.2.2-1.dsc
 964a33fa39d828d6ad49a024760dd67cebb3b3e6362e14e92f494f317ba58641 339490 agda_2.2.2.orig.tar.gz
 7ee96ac1f18b09b897086a62b89e6474f73a1eb960adf7bc2870426216f5e46f 4108 agda_2.2.2-1.diff.gz
 eba7959bdcb066b642d23e49478efdf0b709aae4b3297459d528eea26f53fac5 1084760 haskell-agda-doc_2.2.2-1_all.deb
 33aff4188a96d350e151c4790215e747d1a57501457d2b23c659add8ac99b5ea 36090 agda-mode_2.2.2-1_all.deb
 c3aaa31d538bb2a9a8bd5db395e18181fb607ee7f5ccbb9a369a7b894161fa8f 8410204 libghc6-agda-dev_2.2.2-1_amd64.deb
 35ab4c3518c7b4892e18b1f6587341a7a2377f7086b057f60ef0c263c63eae37 13051512 libghc6-agda-prof_2.2.2-1_amd64.deb
Files: 
 5ff3197970daf08fa2e9524fe1a0adda 2531 haskell optional agda_2.2.2-1.dsc
 3a48a81f3abf7140cd875e8f65756d30 339490 haskell optional agda_2.2.2.orig.tar.gz
 2fe925ea7325f75af84789610c1b3f26 4108 haskell optional agda_2.2.2-1.diff.gz
 b2680cae312979cb377706fb3f7982ee 1084760 doc optional haskell-agda-doc_2.2.2-1_all.deb
 4522106a0b0915e6f0b03d62505b8777 36090 misc optional agda-mode_2.2.2-1_all.deb
 b61bcc31f646f0bfd2bbf2362b8872fc 8410204 haskell optional libghc6-agda-dev_2.2.2-1_amd64.deb
 29409de24e637e69d714e9fb1820075b 13051512 haskell optional libghc6-agda-prof_2.2.2-1_amd64.deb

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

iEYEARECAAYFAkpZxkcACgkQ9ijrk0dDIGyxGgCgzpR3fc9HioUhXYNBx2OJySl3
RDUAmwd5/lX9QMyjE4NIOpzS6L+8x1Ws
=v72J
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: