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

2009-08-10 Thread Debian Bug Tracking System
Your message dated Mon, 10 Aug 2009 22:51:54 + with message-id 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

Bug#522924:

2009-07-12 Thread Iain Lane
retitle 522924 ITP: agda -- a dependently typed functional programming language and proof assistant retitle 522914 ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant thanks Seems like I got the bug numbers messed up in the c

Bug#522924: ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant

2009-04-07 Thread Iain Lane
Package: wnpp Severity: wishlist Owner: Iain Lane * Package name: agda-stdlib Version : unreleased Upstream Author : Nils Anders Danielsson * URL : http://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary * License : MIT/X Programming Lang: