diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-04-16 08:30:14 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-23 09:35:38 +0200 |
commit | f09a13899dbd767ba0602309b21f4b8926e7e059 (patch) | |
tree | 6e8e47bf0656ea02eaadee4983dde70cdef62534 /pkgs/data | |
parent | 640fd927091d399062098079c5987cb0693d0d69 (diff) | |
download | nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.gz nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.bz2 nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.lz nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.xz nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.tar.zst nixlib-f09a13899dbd767ba0602309b21f4b8926e7e059.zip |
coqPackages.mathcomp: 1.7.0 -> 1.8.0
coqPackages.mathcomp-finmap: 1.1.0 -> 1.2.0 coqPackages.mathcomp-analysis: 0.1.0 -> 0.2.0
Diffstat (limited to 'pkgs/data')
0 files changed, 0 insertions, 0 deletions