diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-10-26 07:07:49 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-10-26 07:07:49 +0000 |
| commit | 2059cc3d90769482484bfb259ac9af9d03a2d5a2 (patch) | |
| tree | aa4a8885cad115a7795385a2072c235fb4bce4c1 /src_prepare-overlay.txt | |
| parent | 2021-10-26T06:45:01Z (diff) | |
| download | repos-2059cc3d90769482484bfb259ac9af9d03a2d5a2.tar.gz repos-2059cc3d90769482484bfb259ac9af9d03a2d5a2.tar.bz2 repos-2059cc3d90769482484bfb259ac9af9d03a2d5a2.zip | |
2021-10-26T07:00:01Z
Diffstat (limited to 'src_prepare-overlay.txt')
| -rw-r--r-- | src_prepare-overlay.txt | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/src_prepare-overlay.txt b/src_prepare-overlay.txt index 355e845d48eb..a35face502d3 100644 --- a/src_prepare-overlay.txt +++ b/src_prepare-overlay.txt @@ -15,17 +15,7 @@ pkgcore 0.12.7 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync src_prepare-overlay *** syncing src_prepare-overlay -From https://gitlab.com/src_prepare/src_prepare-overlay - 3041a15..83e700c master -> origin/master -Updating 3041a15..83e700c -Fast-forward - dev-lang/dafny/Manifest | 1 + - dev-lang/dafny/dafny-3.3.0.ebuild | 69 +++++++++++++++++++++++++++++++++++++++ - dev-lang/dafny/metadata.xml | 18 ++++++++++ - 3 files changed, 88 insertions(+) - create mode 100644 dev-lang/dafny/Manifest - create mode 100644 dev-lang/dafny/dafny-3.3.0.ebuild - create mode 100644 dev-lang/dafny/metadata.xml +Already up to date. *** synced src_prepare-overlay * Sync succeeded $ git log --format=%ci -1 |