repo/gentoo.git - Official Gentoo ebuild repository

GitWeb

Get Gentoo!

gentoo.org sites

gentoo.org Wiki Bugs Forums Packages

Planet Archives Sources

Infra Status

Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites

index : repo/gentoo.git

Official Gentoo ebuild repository

Infrastructure team <infrastructure@gentoo.org>

summary refs log tree commit diff

Branch	Commit message	Author	Age
master	sci-mathematics/z3: Remove old	Michał Górny	14 min.

Questions or comments?

Please feel free to contact us.

© 2001–2022 Gentoo Foundation, Inc.
Gentoo is a trademark of the Gentoo Foundation, Inc. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.