diff options
| author | Silvan Mosberger <infinisil@icloud.com> | 2019-05-24 14:51:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-24 14:51:03 +0200 |
| commit | 9aa60e6b9b58e7a7318b8972e4066ccc36d1ec41 (patch) | |
| tree | 873d0524fbe668d6edaa78d141bc3de7085b0e15 /pkgs/development/python-modules/python-stdnum | |
| parent | 5399a3a530171c30e4042680709fb13d2e2f85bf (diff) | |
| parent | c96ef6fc44c574de0ebc5b37882f8d6f4e2726a5 (diff) | |
Merge pull request #61948 from CohenCyril/bignums_equations_update
coqPackages: fix bignums and equations
Diffstat (limited to 'pkgs/development/python-modules/python-stdnum')
0 files changed, 0 insertions, 0 deletions