about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coq-extensible-records
AgeCommit message (Expand)AuthorFilesLines
2019-10-29coqPackages.coq-extensible-records: support for coq 8.9 and 8.10Valentin Robert1-6/+32
2019-01-30coqPackages.coq-extensible-records: init at 1.2.0Valentin Robert1-0/+32
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-22 20:29:10 +0000