Maciej Barć 242e59a702

sci-mathematics/z3: add old z3 version ...

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>

2021-12-09 05:51:15 +01:00

..

Manifest

sci-mathematics/z3: add old z3 version

2021-12-09 05:51:15 +01:00

metadata.xml

sci-mathematics/z3: add old z3 version

2021-12-09 05:51:15 +01:00

z3-4.8.5.ebuild

sci-mathematics/z3: add old z3 version

2021-12-09 05:51:15 +01:00