diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index c70f78d58f4b..71144c834b3d 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,7 +15,14 @@ pkgcore 0.11.8 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo -Already up to date. +From https://anongit.gentoo.org/git/repo/gentoo + 2ccca0a9e35..1f444aa8d20 master -> origin/master +Updating 2ccca0a9e35..1f444aa8d20 +Fast-forward + dev-ada/gnatcoll-core/Manifest | 1 - + dev-ada/gnatcoll-core/gnatcoll-core-2019-r1.ebuild | 73 ---------------------- + 2 files changed, 74 deletions(-) + delete mode 100644 dev-ada/gnatcoll-core/gnatcoll-core-2019-r1.ebuild *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |