Index of /repos/coq/prelude/_darcs/patches

	Name	Last modified	Size	Description
	Parent Directory		-
	20080621163132-9df1c-8c3bdb1ee240af0ac34c158988ec1a2a42a310dd.gz	21-Jun-2008 12:32	15K
	20080623153131-9df1c-1f64ec05b14ca91e526f18ad76e47e54fa91fa6c.gz	23-Jun-2008 11:34	3.5K
	20080630105035-9df1c-53678ea5002e2a58c6dc69223eb736420d80046c.gz	28-Aug-2008 18:23	3.5K
	20080828145251-9df1c-45bd238a863b39ddbf84127392c54b6276e15389.gz	28-Aug-2008 18:23	2.9K
	20080828222040-9df1c-850bf54350cc6b2b8a9aecf05ec6d879805f2bb8.gz	28-Aug-2008 18:23	10K
	20080903073331-9df1c-0e21021cc128faaf5bfc2a5b09345d806cd2a4e8.gz	03-Sep-2008 03:35	3.1K
	20090721125546-9df1c-05d00340a637a90a59a4a1de0b90657f7074a106.gz	21-Jul-2009 09:01	8.3K
	20090908135425-9df1c-16362bfb3261b8d73f2a76c1240fbbd91f15c90a.gz	08-Sep-2009 18:32	4.9K
	20090909021239-90c7a-02203ef20295e8b6c6f2dc1fa5430e41d85685ac.gz	09-Sep-2009 14:21	186
	20090909022337-90c7a-52cb6ae801936d66b361127f0b45e1e023fc846f.gz	09-Sep-2009 14:21	255
	20090909023602-90c7a-225efef8a4110ffe926acc61b26cb8b5335067d7.gz	09-Sep-2009 14:21	418
	20090909033815-90c7a-5d9234d39dede5c2897d0b881bb12edebc97d85a.gz	09-Sep-2009 14:21	824
	20090909220919-90c7a-a0c8ea1035110cb460fa9701ff5190bd733934fd.gz	10-Sep-2009 17:34	2.3K
	20090910213429-9df1c-0892a6e729ae4f3cc0b76660dce88fd686b81c47.gz	10-Sep-2009 17:34	1.9K
	20090914205254-90c7a-abd6b79bd616a9d40f015a6cb5de096e9f39c162.gz	29-Jan-2010 10:43	720
	20100129160856-9df1c-6eb55cb682bdcd7d6dba9127505eda4b4ee824ed.gz	29-Jan-2010 11:13	1.1K
	pending	29-Jan-2010 11:13	4
	pending.tentative	29-Jan-2010 11:13	4