diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-10-16 08:31:35 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-10-24 06:20:59 +0000 |
commit | 7044058ef779e8050aa4684a8f73114fdf39b849 (patch) | |
tree | 71b08293e10ce84e821689cbb3d2ecee674f92f7 /pkgs/development/python-modules | |
parent | 8b0beaedd2efe8207c9bb28b5fab20c176a6d8e3 (diff) | |
download | nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.tar nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.tar.gz nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.tar.bz2 nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.tar.lz nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.tar.xz nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.tar.zst nixlib-7044058ef779e8050aa4684a8f73114fdf39b849.zip |
coqPackages_8_10.ltac2: init at 0.3
Diffstat (limited to 'pkgs/development/python-modules')
0 files changed, 0 insertions, 0 deletions