summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRepository mirror & CI <repomirrorci@gentoo.org>2022-11-19 21:46:39 +0000
committerRepository mirror & CI <repomirrorci@gentoo.org>2022-11-19 21:46:39 +0000
commit3d4618fffc6ba9788274c8123bf64ccffb2ec88a (patch)
tree9e67409ab7f854c99f41ad3f5c9cf027b2138042 /gentoo.txt
parent2022-11-19T21:30:02Z (diff)
downloadrepos-3d4618fffc6ba9788274c8123bf64ccffb2ec88a.tar.gz
repos-3d4618fffc6ba9788274c8123bf64ccffb2ec88a.tar.bz2
repos-3d4618fffc6ba9788274c8123bf64ccffb2ec88a.zip
2022-11-19T21:45:01Z
Diffstat (limited to 'gentoo.txt')
-rw-r--r--gentoo.txt18
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