diff options
| author | Cyril Cohen <cohen@crans.org> | 2019-04-09 19:21:57 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-05-15 14:11:21 +0000 |
| commit | b71c308591e1bfc3708c31dc1a94fcae636b5557 (patch) | |
| tree | 64383399a44c1ffb465a91c6d46c9407cbfaa422 /pkgs/development/coq-modules/InfSeqExt | |
| parent | 4ec7a6eda993986a2e0e00c999e92e290e9dccac (diff) | |
| download | nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.gz nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.bz2 nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.lz nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.xz nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.tar.zst nixlib-b71c308591e1bfc3708c31dc1a94fcae636b5557.zip | |
coqPackages: refactor mathcomp packages
Closes #61456
Diffstat (limited to 'pkgs/development/coq-modules/InfSeqExt')
0 files changed, 0 insertions, 0 deletions