diff options
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gentoo.txt b/gentoo.txt index a7abfbfa8e38..e0426c3ac65c 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,13 +16,13 @@ $ pmaint sync gentoo WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' From https://anongit.gentoo.org/git/repo/gentoo - 4223653..6400680 master -> origin/master -Updating 4223653..6400680 + 6400680..1558856 master -> origin/master +Updating 6400680..1558856 Fast-forward - dev-lang/orc/Manifest | 1 + - dev-lang/orc/orc-0.4.25.ebuild | 55 ++++++++++++++++++++++++++++++++++++++++++ - 2 files changed, 56 insertions(+) - create mode 100644 dev-lang/orc/orc-0.4.25.ebuild + sys-kernel/gentoo-sources/Manifest | 3 +++ + .../gentoo-sources/gentoo-sources-3.10.100.ebuild | 30 ++++++++++++++++++++++ + 2 files changed, 33 insertions(+) + create mode 100644 sys-kernel/gentoo-sources/gentoo-sources-3.10.100.ebuild *** syncing gentoo *** synced gentoo * Sync succeeded |