diff options
| author | sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> | 2026-01-01 15:54:04 +0800 |
|---|---|---|
| committer | sempiternal-aurora <78790545+sempiternal-aurora@users.noreply.github.com> | 2026-01-01 22:36:29 +0800 |
| commit | ddd80ed2c7433b20735ba7ef0af57898d1e3d3e4 (patch) | |
| tree | 4680c53925f4b7a57eb4e619e3a9f7ea3f5e8e41 /pkgs/development/python-modules/python-sql | |
| parent | bc38aa55f5d7bdbbdae658b576da0890217067d0 (diff) | |
vampire: 4.9 -> 5.0.0
Release notes: https://github.com/vprover/vampire/releases/tag/v5.0.0
Fixes gcc15 build, changes to recommended cmake build, and removes old
dependencies and patches
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions