diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2016-01-26 01:21:37 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2016-01-26 01:21:37 +0000 |
| commit | 7e00ace4c3d1fc077fdc966b1bbc06442af74143 (patch) | |
| tree | 857d3fe95f1a49c0b99f9c0a35ea7e25087ae7b7 /haskell.txt | |
| parent | 2016-01-26T01:00:01 (diff) | |
| download | repos-7e00ace4c3d1fc077fdc966b1bbc06442af74143.tar.gz repos-7e00ace4c3d1fc077fdc966b1bbc06442af74143.tar.bz2 repos-7e00ace4c3d1fc077fdc966b1bbc06442af74143.zip | |
2016-01-26T01:20:01
Diffstat (limited to 'haskell.txt')
| -rw-r--r-- | haskell.txt | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/haskell.txt b/haskell.txt index e9000658fc5a..ab8c62166f0e 100644 --- a/haskell.txt +++ b/haskell.txt @@ -13,14 +13,7 @@ 'status': 'official'} $ pmaint sync haskell WARNING:pkgcore:repository at '/home/mgorny/sync/steveeJ' has unsupported profile format(s): 'profile-set' -From git://github.com/gentoo-haskell/gentoo-haskell - 43254bb..0f2d68e master -> origin/master -Updating 43254bb..0f2d68e -Fast-forward - sci-mathematics/agda-stdlib/agda-stdlib-9999.ebuild | 1 + - sci-mathematics/agda-stdlib/files/agda-stdlib.agda-lib | 2 ++ - 2 files changed, 3 insertions(+) - create mode 100644 sci-mathematics/agda-stdlib/files/agda-stdlib.agda-lib +Already up-to-date. *** syncing haskell *** synced haskell * Sync succeeded |