diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-05-22 09:42:06 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-05-23 14:25:07 +0200 |
| commit | c37e00067dce3ce4e7526f7476e92af9bc706732 (patch) | |
| tree | 5a819d449e25195140705b27a661bce1fcf4e940 /pkgs/development/python-modules/python-stdnum | |
| parent | 5959e98fc2c5888c06af2d751467fb1bded8e286 (diff) | |
coqPackages.ltac2: init at 0.1
Diffstat (limited to 'pkgs/development/python-modules/python-stdnum')
0 files changed, 0 insertions, 0 deletions