diff options
author | 2022-11-19 21:46:39 +0000 | |
---|---|---|
committer | 2022-11-19 21:46:39 +0000 | |
commit | 3d4618fffc6ba9788274c8123bf64ccffb2ec88a (patch) | |
tree | 9e67409ab7f854c99f41ad3f5c9cf027b2138042 /gentoo.txt | |
parent | 2022-11-19T21:30:02Z (diff) | |
download | repos-3d4618fffc6ba9788274c8123bf64ccffb2ec88a.tar.gz repos-3d4618fffc6ba9788274c8123bf64ccffb2ec88a.tar.bz2 repos-3d4618fffc6ba9788274c8123bf64ccffb2ec88a.zip |
2022-11-19T21:45:01Z
Diffstat (limited to 'gentoo.txt')
-rw-r--r-- | gentoo.txt | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/gentoo.txt b/gentoo.txt index 1c93874aacbf..b9f987e9b708 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,7 +16,23 @@ pkgcore 0.12.16 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo ERROR:pkgcore:Cannot write cache for /var/cache/pkgcore/plugincache: [Errno 13] Permission denied: '/var/cache/pkgcore/.update.plugincache'. Try running pplugincache. *** syncing gentoo -Already up to date. +From https://anongit.gentoo.org/git/repo/gentoo + e7148c5f085..6e7a51ba017 master -> origin/master +Updating e7148c5f085..6e7a51ba017 +Fast-forward + dev-ml/dune-private-libs/Manifest | 1 + + .../dune-private-libs-3.0.3.ebuild | 35 ++++++++++++++++++++++ + dev-ml/dune-site/Manifest | 1 + + dev-ml/dune-site/dune-site-3.0.3.ebuild | 30 +++++++++++++++++++ + dev-ml/ptmap/files/ptmap-2.0.5-dune.patch | 11 +++++++ + dev-ml/ptmap/ptmap-2.0.5-r2.ebuild | 2 ++ + sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild | 2 ++ + .../alt-ergo/files/alt-ergo-2.4.2-dune.patch | 11 +++++++ + 8 files changed, 93 insertions(+) + create mode 100644 dev-ml/dune-private-libs/dune-private-libs-3.0.3.ebuild + create mode 100644 dev-ml/dune-site/dune-site-3.0.3.ebuild + create mode 100644 dev-ml/ptmap/files/ptmap-2.0.5-dune.patch + create mode 100644 sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |