diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2021-11-28 21:51:16 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2021-11-28 21:51:16 +0000 |
| commit | 2a29593c576a402f2496a21c8f7e0bf91f4e0747 (patch) | |
| tree | 00986db2eab95475f9b76018ae24199e99e8986b /haskell.txt | |
| parent | 2021-11-28T21:30:01Z (diff) | |
| download | repos-2a29593c576a402f2496a21c8f7e0bf91f4e0747.tar.gz repos-2a29593c576a402f2496a21c8f7e0bf91f4e0747.tar.bz2 repos-2a29593c576a402f2496a21c8f7e0bf91f4e0747.zip | |
2021-11-28T21:45:01Z
Diffstat (limited to 'haskell.txt')
| -rw-r--r-- | haskell.txt | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/haskell.txt b/haskell.txt index e67f98f9771f..463967feb58f 100644 --- a/haskell.txt +++ b/haskell.txt @@ -15,18 +15,7 @@ pkgcore 0.12.8 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync haskell *** syncing haskell -From https://github.com/gentoo-haskell/gentoo-haskell - 339e665bed..9261b8e7cb master -> origin/master -Updating 339e665bed..9261b8e7cb -Fast-forward - sci-mathematics/agda-stdlib/Manifest | 1 + - .../agda-stdlib/agda-stdlib-2.6.2.1.7.1.ebuild | 67 ++++++++++ - sci-mathematics/agda/Manifest | 1 + - sci-mathematics/agda/agda-2.6.2.ebuild | 143 +++++++++++++++++++++ - sci-mathematics/agda/metadata.xml | 28 +--- - 5 files changed, 215 insertions(+), 25 deletions(-) - create mode 100644 sci-mathematics/agda-stdlib/agda-stdlib-2.6.2.1.7.1.ebuild - create mode 100644 sci-mathematics/agda/agda-2.6.2.ebuild +Already up to date. *** synced haskell * Sync succeeded $ git log --format=%ci -1 |