diff options
author | 2022-08-30 00:16:34 +0000 | |
---|---|---|
committer | 2022-08-30 00:16:34 +0000 | |
commit | 6b0a028038f9b688450eb8ed9bc8fb5e81fdd455 (patch) | |
tree | 7183eff02e675c345b28b1e03aa1eef1c10d6e77 /gentoo.txt | |
parent | 2022-08-30T00:00:01Z (diff) | |
download | repos-6b0a028038f9b688450eb8ed9bc8fb5e81fdd455.tar.gz repos-6b0a028038f9b688450eb8ed9bc8fb5e81fdd455.tar.bz2 repos-6b0a028038f9b688450eb8ed9bc8fb5e81fdd455.zip |
2022-08-30T00:15:01Z
Diffstat (limited to 'gentoo.txt')
-rw-r--r-- | gentoo.txt | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/gentoo.txt b/gentoo.txt index 306ab9f31f0d..5ac657f894b5 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,20 +15,7 @@ pkgcore 0.12.13 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo -From https://anongit.gentoo.org/git/repo/gentoo - 5ad9b68b895..131060c8153 master -> origin/master -Updating 5ad9b68b895..131060c8153 -Fast-forward - dev-util/devhelp/Manifest | 1 + - dev-util/devhelp/devhelp-41.3.ebuild | 83 ++++++++++++++++++++++ - dev-util/devhelp/files/41.3-webkitgtk40.patch | 34 +++++++++ - profiles/package.mask | 11 +++ - ...ers-21.1.ebuild => xorg-drivers-21.1-r1.ebuild} | 2 - - x11-base/xorg-drivers/xorg-drivers-9999.ebuild | 2 - - 6 files changed, 129 insertions(+), 4 deletions(-) - create mode 100644 dev-util/devhelp/devhelp-41.3.ebuild - create mode 100644 dev-util/devhelp/files/41.3-webkitgtk40.patch - rename x11-base/xorg-drivers/{xorg-drivers-21.1.ebuild => xorg-drivers-21.1-r1.ebuild} (97%) +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |