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

Your message dated Fri, 05 Feb 2010 17:17:12 + with message-id 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

Bug#522914:

* Package name: agda-stdlib Version : 0.2 Upstream Author : Nils Anders Danielsson * URL : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary * License : MIT/X Programming Lang: Agda Description : standard library for Agda - a dep

Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant

Package: wnpp Severity: wishlist Owner: Iain Lane * Package name: agda Version : 2.2.0 Upstream Author : Ulf Norell * URL : http://wiki.portal.chalmers.se/agda/ * License : MIT/X11 Programming Lang: Haskell Description : a dependently typed functional