diff options
author | 2019-03-12 08:23:30 +0000 | |
---|---|---|
committer | 2019-03-12 08:23:30 +0000 | |
commit | 2333e45635b5ca8ccea8c36f6a18f0d3bc0a9fa2 (patch) | |
tree | fcfa42614cb23cebd3d0dc074c1fc67465b72040 /haskell.txt | |
parent | 2019-03-12T08:00:01Z (diff) | |
download | repos-2333e45635b5ca8ccea8c36f6a18f0d3bc0a9fa2.tar.gz repos-2333e45635b5ca8ccea8c36f6a18f0d3bc0a9fa2.tar.bz2 repos-2333e45635b5ca8ccea8c36f6a18f0d3bc0a9fa2.zip |
2019-03-12T08:20:01Z
Diffstat (limited to 'haskell.txt')
-rw-r--r-- | haskell.txt | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/haskell.txt b/haskell.txt index ab43ff134be7..067829d90a4b 100644 --- a/haskell.txt +++ b/haskell.txt @@ -15,7 +15,13 @@ $ pmaint sync haskell WARNING:pkgcore:'genthree' repo at '/var/lib/repo-mirror-ci/sync/genthree' has unsupported profile format: profile-bashrcs WARNING:pkgcore:'xelnor' repo at '/var/lib/repo-mirror-ci/sync/xelnor' has unsupported profile format: build-id *** syncing haskell -Already up to date. +From https://github.com/gentoo-haskell/gentoo-haskell + 08ea46a5d..c1bc846c1 master -> origin/master +Updating 08ea46a5d..c1bc846c1 +Fast-forward + dev-lang/idris/{idris-1.3.1-r2.ebuild => idris-1.3.1-r3.ebuild} | 5 +++-- + 1 file changed, 3 insertions(+), 2 deletions(-) + rename dev-lang/idris/{idris-1.3.1-r2.ebuild => idris-1.3.1-r3.ebuild} (95%) *** synced haskell * Sync succeeded $ git log --format=%ci -1 |