Revision 1484376

Jump to revision:
Author:	tv
Date:	Tue Jan 28 11:34:04 2020 UTC (4 years, 2 months ago)
Changed paths:	1
Log Message:	bump rel (SILENT)

Changed paths

Path	Details
cauldron/coq/current/SPECS/coq.spec	modified , text changed