2 commits

Author	SHA1	Message	Date
Vincent Laporte	0f94ac9296	coqPackages.autosubst: fix hash	2017-07-28 06:45:31 +00:00
John Wiegley	399dee93ae	coqPackages.autosubst: New expression	2017-07-10 18:35:56 -07:00