diff options
| author | Vincent Laporte <vbgl@users.noreply.github.com> | 2025-11-03 08:55:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-03 08:55:09 +0000 |
| commit | d31e149670f5467afecca35d0b157f7cbea619b9 (patch) | |
| tree | eb38e2a6398576bbc16e6236bee89e44ba23ce2f /pkgs/development/python-modules/python-sql | |
| parent | d674d0fb3f3cb2ec398081f42a72dd96a0012ba8 (diff) | |
| parent | a60985f50c50c4ab87a5233418ec04ebee026815 (diff) | |
coqPackages.wasmcert 2.2.0 is compatible with Coq 9.0 (#457407)
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions