diff options
author | John Wiegley <johnw@newartisans.com> | 2017-11-11 09:44:29 -0800 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2017-11-11 09:44:55 -0800 |
commit | 462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6 (patch) | |
tree | 24840a6ad0fece4186c9e97117d3104b80a046f2 /pkgs/os-specific/linux/prl-tools | |
parent | f1caf10ec96708e198a0e9242104d2381ea4f0ca (diff) | |
download | nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.tar nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.tar.gz nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.tar.bz2 nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.tar.lz nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.tar.xz nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.tar.zst nixpkgs-462b5e0d21f3735b0dc8fecb70ffa616ffd0fef6.zip |
coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7
Diffstat (limited to 'pkgs/os-specific/linux/prl-tools')
0 files changed, 0 insertions, 0 deletions