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/servers/teleport | |
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/servers/teleport')
0 files changed, 0 insertions, 0 deletions