agda-stdlib - Debian dgit repo for package agda-stdlib

	Commit message (Collapse)	Author	Age
*	New upstream version 0.17	Sean Whitton	2018-11-23
\|
*	New upstream version 0.14	Gianfranco Costamagna	2017-11-26
\|
*	Imported Upstream version 0.11	Iain Lane	2016-01-04
\|
*	Imported Upstream version 0.8	Iain Lane	2014-08-05
\|
*	Imported Upstream version 0.7	Iain Lane	2013-04-10
\|
*	Imported Upstream version 0.6	Iain Lane	2011-12-30
\|
*	Imported Upstream version 0.6~darcs20111129t1640	Iain Lane	2011-11-29
\|
*	Imported Upstream version 0.5	Iain Lane	2011-02-25
\|
*	Imported Upstream version 0.4	Iain Lane	2010-12-10
\|
*	Imported Upstream version 0.3	Iain Lane	2010-01-08