diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-19 20:33:08 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-11-19 20:33:08 +0000 |
| commit | a7924e2b1582bdddf4cfb61d7835105f565c8bb3 (patch) | |
| tree | 0fcdf91a541e057b8ffc9f8a24a435b7260c2ed2 /gentoo.txt | |
| parent | 2024-11-19T20:15:00Z (diff) | |
| download | repos-a7924e2b1582bdddf4cfb61d7835105f565c8bb3.tar.gz repos-a7924e2b1582bdddf4cfb61d7835105f565c8bb3.tar.bz2 repos-a7924e2b1582bdddf4cfb61d7835105f565c8bb3.zip | |
2024-11-19T20:30:00Z
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/gentoo.txt b/gentoo.txt index 2ac367c58f9a..c22149efe889 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -15,14 +15,7 @@ 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 - 6463bc79f49c..9ed530debc43 master -> origin/master -Updating 6463bc79f49c..9ed530debc43 -Fast-forward - 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 +Already up to date. *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |