diff options
| author | Daniel Woffinden | 2023-11-26 14:28:33 +0000 |
|---|---|---|
| committer | Daniel Woffinden | 2023-11-26 14:28:33 +0000 |
| commit | 30137e90ab1bb15018e01962a54cc73446fcc49e (patch) | |
| tree | 5071c2b7ce52d3f91c5ba1ced2e0f437d3c2cc53 /.SRCINFO | |
| parent | e6f64c71901624287931e4923089881c7ab12e18 (diff) | |
| download | aur-30137e90ab1bb15018e01962a54cc73446fcc49e.tar.gz | |
python-z3 -> python-z3-solver
thanks https://aur.archlinux.org/account/MarsSeed
Diffstat (limited to '.SRCINFO')
0 files changed, 0 insertions, 0 deletions