Revision 644206

Jump to revision:
Author:	pterjan
Date:	Sun Jul 6 10:05:23 2014 UTC (9 years, 9 months ago)
Changed paths:	2
Log Message:	2.3.0

Changed paths

Path	Details
cauldron/coq-flocq/current/SOURCES/sha1.lst	modified , text changed
cauldron/coq-flocq/current/SPECS/coq-flocq.spec	modified , text changed