2 commits

Author	SHA1	Message	Date
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