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/lean: bump to 4.11.0	Maciej Barć	51 min.

Questions or comments?

Please feel free to contact us.

© 2001–2024 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. 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.