aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/development/coq-modules/mathcomp/extra.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '8e2b14aceb1d40c7e8b84c03a7c78955359872bb'Katharina Fey2020-08-071-9/+28
* Merge commit '467ce5a9f45aaf96110b41eb863a56866e1c2c3c'Katharina Fey2020-06-041-14/+15
* Merge commit '0f5ce2fac0c726036ca69a5524c59a49e2973dd4'Katharina Fey2020-05-201-185/+354
* Merge commit 'e4134747f5666bcab8680aff67fa3b63384f9a0f'Katharina Fey2020-01-121-2/+2
* Add 'nixpkgs/' from commit '2436c27541b2f52deea3a4c1691216a02152e729'Katharina Fey2019-10-051-0/+202