diff options
| author | Maciej Barć <xgqt@gentoo.org> | 2026-02-17 22:19:44 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2026-02-17 23:08:15 +0100 |
| commit | 9d5e489538031d7f663844aaa18dd1cb69d27928 (patch) | |
| tree | 39352d2eec53fabc0d4ce982e1a82b22888062c5 /dev-python/python-tests | |
| parent | 7e9cfecc751e364ca22a82c51dae344563e5a051 (diff) | |
| download | gentoo-9d5e489538031d7f663844aaa18dd1cb69d27928.tar.gz gentoo-9d5e489538031d7f663844aaa18dd1cb69d27928.tar.bz2 gentoo-9d5e489538031d7f663844aaa18dd1cb69d27928.zip | |
sci-mathematics/coq-stdlib: bump to 9.1.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-python/python-tests')
0 files changed, 0 insertions, 0 deletions