Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | sci-mathematics/why3-for-spark: drop myself as a maintainer | Alfredo Tupone | 3 min. | |
index : repo/gentoo.git | ||
Official Gentoo ebuild repository | Infrastructure team <infrastructure@gentoo.org> |
summaryrefslogtreecommitdiff |
Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | sci-mathematics/why3-for-spark: drop myself as a maintainer | Alfredo Tupone | 3 min. | |