diff options
| author | Cyril Cohen <cohen@crans.org> | 2019-03-05 13:56:55 +0100 |
|---|---|---|
| committer | Cyril Cohen <cohen@crans.org> | 2019-05-23 15:05:15 +0200 |
| commit | c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5 (patch) | |
| tree | e23a40f462c52b0df40ab5f73abcbaa4ebc1f3f7 /pkgs/development/python-modules/python-stdnum | |
| parent | edb1668130d26319ea15b68eff7e180bcc113dfd (diff) | |
updating packages coqPackages.bignums and coqPackages.equations
Diffstat (limited to 'pkgs/development/python-modules/python-stdnum')
0 files changed, 0 insertions, 0 deletions