diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-01-25 03:33:08 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-01-25 03:33:08 +0000 |
| commit | 0c8bcd1cec56fedf4d494a13a998d1c01996ffb0 (patch) | |
| tree | b00790cc51fd5eefb9e5919c784fe0fb2c6a357e /gentoo.txt | |
| parent | 2024-01-25T03:15:01Z (diff) | |
| download | repos-0c8bcd1cec56fedf4d494a13a998d1c01996ffb0.tar.gz repos-0c8bcd1cec56fedf4d494a13a998d1c01996ffb0.tar.bz2 repos-0c8bcd1cec56fedf4d494a13a998d1c01996ffb0.zip | |
2024-01-25T03:30:01Z
Diffstat (limited to 'gentoo.txt')
| -rw-r--r-- | gentoo.txt | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/gentoo.txt b/gentoo.txt index a9a798a70928..bf5c689da64d 100644 --- a/gentoo.txt +++ b/gentoo.txt @@ -16,19 +16,13 @@ pkgcore 0.12.24 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync gentoo *** syncing gentoo From https://anongit.gentoo.org/git/repo/gentoo - 1464fcc868cf..ad86412196e9 master -> origin/master -Updating 1464fcc868cf..ad86412196e9 + ad86412196e9..892d16ff9430 master -> origin/master +Updating ad86412196e9..892d16ff9430 Fast-forward - app-arch/lzlib/lzlib-1.13-r2.ebuild | 2 +- - dev-lang/ispc/ispc-1.22.0-r1.ebuild | 2 +- - dev-python/libsass/libsass-0.23.0.ebuild | 2 +- - dev-python/miniupnpc/miniupnpc-2.2.6.ebuild | 2 +- - dev-python/pikepdf/pikepdf-8.11.2.ebuild | 2 +- - dev-python/pycryptodome/pycryptodome-3.19.1-r2.ebuild | 2 +- - dev-python/pygraphviz/pygraphviz-1.12.ebuild | 2 +- - dev-python/python-xmp-toolkit/python-xmp-toolkit-2.0.2.ebuild | 2 +- - net-dns/libidn2/libidn2-2.3.4-r2.ebuild | 2 +- - 9 files changed, 9 insertions(+), 9 deletions(-) + sci-mathematics/coq/Manifest | 1 + + sci-mathematics/coq/coq-8.19.0.ebuild | 122 ++++++++++++++++++++++++++++++++++ + 2 files changed, 123 insertions(+) + create mode 100644 sci-mathematics/coq/coq-8.19.0.ebuild *** synced gentoo * Sync succeeded $ git log --format=%ci -1 |