j
k
j a
j l
Version 5.0 of z3 has been released and comes with an soname bump. In a week, I will build it and rebuild the following packages:
- opam - prusa-slicer
Show replies by date
devel@lists.fedoraproject.org
Add to favorites Remove from favorites