3 Commits

Author	SHA1	Message	Date
John Wiegley	e78b9a68a0	coqPackages.paco: 1.2.7 -> 1.2.8	2017-07-10 18:35:55 -07:00
Joachim Fasting	bf7ad2d84f	meta.description fixups ... Mostly scripted substitutions with a couple of subjective enhancements.	2015-04-30 18:17:42 +02:00
John Wiegley	904bee0c46	coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions	2014-10-11 17:24:59 -05:00