diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2019-05-20 04:30:32 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-20 04:30:32 +0000 |
| commit | d8afea025a70f9a0bbbb70c5583f2a30c5b5381c (patch) | |
| tree | 442c7dfb9f55f4f347a6dfec9ab5e99027e7bed9 /pkgs/development/python-modules/python-stdnum | |
| parent | bbd8dbe43b5022e74e4dbee87d559251ba20589f (diff) | |
| parent | c5d08e471ce514eb8d1f135177b7d7e1b01bd90b (diff) | |
Merge pull request #61732 from r-ryantm/auto-update/acl2
acl2: 8.1 -> 8.2
Diffstat (limited to 'pkgs/development/python-modules/python-stdnum')
0 files changed, 0 insertions, 0 deletions