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 443fcab0c7e4..0f439d575404 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,7 +15,17 @@ pkgcore 0.12.24 $ 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 + 13ff8a22f25d..02b31a032832 master -> origin/master +Updating 13ff8a22f25d..02b31a032832 +Fast-forward + .../php/files/php-8.2.15-gcc14-build-fix.patch | 16 + + dev-lang/php/php-8.2.15-r1.ebuild | 840 +++++++++++++++++++++ + .../php/{php-8.3.2.ebuild => php-8.3.2-r1.ebuild} | 1 + + 3 files changed, 857 insertions(+) + create mode 100644 dev-lang/php/files/php-8.2.15-gcc14-build-fix.patch + create mode 100644 dev-lang/php/php-8.2.15-r1.ebuild + rename dev-lang/php/{php-8.3.2.ebuild => php-8.3.2-r1.ebuild} (99%) *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |