agda-stdlib (0.6-1) unstable; urgency=low * [a88bdc0] Imported Upstream version 0.6 * [7aea5f2] Update copyright for new copyright holders and for new DEP5
Date: 2011-12-31 09:20:46.249954+00:00 Changed-By: Iain Lane <[email protected]> https://launchpad.net/ubuntu/precise/+source/agda-stdlib/0.6-1
Sorry, changesfile not available.
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
