diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-19 20:18:12 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-19 20:18:12 +0000 |
| commit | ffba3b2692152cae11c40290d06c291c4b7b3cbd (patch) | |
| tree | b7debb93f43e755a8cef28e5f72520adadc9a5f9 /gentoo.txt | |
| parent | 2024-11-19T20:00:00Z (diff) | |
| download | repos-ffba3b2692152cae11c40290d06c291c4b7b3cbd.tar.gz repos-ffba3b2692152cae11c40290d06c291c4b7b3cbd.tar.bz2 repos-ffba3b2692152cae11c40290d06c291c4b7b3cbd.zip | |
2024-11-19T20:15:00Z
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 47 |
1 files changed, 6 insertions, 41 deletions
diff --git a/gentoo.txt b/gentoo.txt index 9cae488d180b..2ac367c58f9a 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,48 +16,13 @@ pkgcore 0.12.28 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo From https://github.com/gentoo/gentoo - a1f9b7805fd7..6463bc79f49c master -> origin/master -Updating a1f9b7805fd7..6463bc79f49c + 6463bc79f49c..9ed530debc43 master -> origin/master +Updating 6463bc79f49c..9ed530debc43 Fast-forward - dev-dotnet/cake/Manifest | 41 ++-- - .../cake/{cake-4.2.0.ebuild => cake-5.0.0.ebuild} | 52 ++--- - dev-dotnet/dotnet-runtime-nugets/Manifest | 74 ++++++ - .../dotnet-runtime-nugets-6.0.36.ebuild | 50 ++++ - .../dotnet-runtime-nugets-8.0.11.ebuild | 57 +++++ - .../dotnet-runtime-nugets-9.0.0.ebuild | 57 +++++ - dev-dotnet/dotnet-sdk-bin/Manifest | 18 +- - .../dotnet-sdk-bin-9.0.100.1.24452.12_rc.ebuild | 174 -------------- - ....0.402.ebuild => dotnet-sdk-bin-9.0.100.ebuild} | 31 ++- - dev-lang/jint/Manifest | 117 ---------- - dev-lang/jint/jint-3.0.0_beta2051.ebuild | 256 --------------------- - dev-ml/coq-menhirlib/Manifest | 1 - - .../coq-menhirlib/coq-menhirlib-20231231-r1.ebuild | 44 ---- - dev-vcs/sourcegit/Manifest | 27 +++ - dev-vcs/sourcegit/sourcegit-8.39.ebuild | 132 +++++++++++ - dev-vcs/sourcegit/sourcegit-9999.ebuild | 63 +++-- - media-gfx/pinta/Manifest | 1 - - media-gfx/pinta/pinta-2.1.1-r1.ebuild | 136 ----------- - sci-mathematics/coq-serapi/Manifest | 1 - - .../coq-serapi/coq-serapi-0.19.0.ebuild | 76 ------ - sci-mathematics/coq/Manifest | 2 - - sci-mathematics/coq/coq-8.19.0.ebuild | 122 ---------- - sci-mathematics/coq/coq-8.19.1.ebuild | 122 ---------- - virtual/dotnet-sdk/dotnet-sdk-9.0.ebuild | 16 ++ - 24 files changed, 511 insertions(+), 1159 deletions(-) - rename dev-dotnet/cake/{cake-4.2.0.ebuild => cake-5.0.0.ebuild} (70%) - create mode 100644 dev-dotnet/dotnet-runtime-nugets/dotnet-runtime-nugets-6.0.36.ebuild - create mode 100644 dev-dotnet/dotnet-runtime-nugets/dotnet-runtime-nugets-8.0.11.ebuild - create mode 100644 dev-dotnet/dotnet-runtime-nugets/dotnet-runtime-nugets-9.0.0.ebuild - delete mode 100644 dev-dotnet/dotnet-sdk-bin/dotnet-sdk-bin-9.0.100.1.24452.12_rc.ebuild - rename dev-dotnet/dotnet-sdk-bin/{dotnet-sdk-bin-8.0.402.ebuild => dotnet-sdk-bin-9.0.100.ebuild} (80%) - delete mode 100644 dev-lang/jint/jint-3.0.0_beta2051.ebuild - delete mode 100644 dev-ml/coq-menhirlib/coq-menhirlib-20231231-r1.ebuild - create mode 100644 dev-vcs/sourcegit/sourcegit-8.39.ebuild - delete mode 100644 media-gfx/pinta/pinta-2.1.1-r1.ebuild - delete mode 100644 sci-mathematics/coq-serapi/coq-serapi-0.19.0.ebuild - delete mode 100644 sci-mathematics/coq/coq-8.19.0.ebuild - delete mode 100644 sci-mathematics/coq/coq-8.19.1.ebuild - create mode 100644 virtual/dotnet-sdk/dotnet-sdk-9.0.ebuild + sci-mathematics/why3/Manifest | 1 + + sci-mathematics/why3/why3-1.7.2.ebuild | 107 +++++++++++++++++++++++++++++++++ + 2 files changed, 108 insertions(+) + create mode 100644 sci-mathematics/why3/why3-1.7.2.ebuild *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |