diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index 457c081427af..da98131a09ee 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,7 +15,17 @@ 'status': 'official'} $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -Already up-to-date. +From https://anongit.gentoo.org/git/repo/gentoo + 324d80a..5611615 master -> origin/master +Updating 324d80a..5611615 +Fast-forward + www-client/opera-developer/Manifest | 4 ++-- + ...eveloper-37.0.2142.0.ebuild => opera-developer-37.0.2163.0.ebuild} | 0 + www-client/vivaldi/Manifest | 4 ++-- + .../{vivaldi-1.0.403.17_p1.ebuild => vivaldi-1.0.418.3_p1.ebuild} | 0 + 4 files changed, 4 insertions(+), 4 deletions(-) + rename www-client/opera-developer/{opera-developer-37.0.2142.0.ebuild => opera-developer-37.0.2163.0.ebuild} (100%) + rename www-client/vivaldi/{vivaldi-1.0.403.17_p1.ebuild => vivaldi-1.0.418.3_p1.ebuild} (100%) *** syncing gentoo *** synced gentoo * Sync succeeded |