mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-19 05:08:07 -07:00
Changed to sci-mathematics/z3:= due ABI changes. Added <remote-id type="github"> to metadata.xml. Closes: https://github.com/gentoo/gentoo/pull/30572 Signed-off-by: Azamat H. Hackimov <azamat.hackimov@gmail.com> Signed-off-by: Matthias Maier <tamiko@gentoo.org>
546 B
546 B