3 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Valentin Robert	b76193a336	coqPackages.coq-extensible-records: support for coq 8.9 and 8.10	2019-10-29 12:42:22 +00:00
Valentin Robert	f5dbe5de07	coqPackages.coq-extensible-records: init at 1.2.0	2019-01-30 11:30:23 +00:00