sergiotarxz/termux-packages
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
termux-packages/packages/z3
History
Leonid Pliushch 423be93fa6
Revert "z3: update to 4.8.10" 
This reverts commit e99297760db5dfd85cb5496e2a4ea9e9a111aba8.
2021-06-16 16:42:01 +03:00
..
build.sh
Revert "z3: update to 4.8.10"
2021-06-16 16:42:01 +03:00