diff options
author | 2017-08-01 13:30:55 +0000 | |
---|---|---|
committer | 2017-08-01 13:30:55 +0000 | |
commit | 27733faf9e9072cf9a5ce84e0038743cc84eb2c6 (patch) | |
tree | fccbbcd73b72858f774db2d48d54a8243582abf5 /haskell.txt | |
parent | 2017-08-01T13:00:02Z (diff) | |
download | repos-27733faf9e9072cf9a5ce84e0038743cc84eb2c6.tar.gz repos-27733faf9e9072cf9a5ce84e0038743cc84eb2c6.tar.bz2 repos-27733faf9e9072cf9a5ce84e0038743cc84eb2c6.zip |
2017-08-01T13:27:47Z
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 126bca1cea79..bbf6f7c748c0 100644 --- a/haskell.txt +++ b/haskell.txt @@ -13,14 +13,7 @@ 'status': 'official'} $ pmaint sync haskell WARNING:pkgcore:repo at '/home/mgorny/sync/gentoo-playground', named 'gentoo-playground', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone). -From https://github.com/gentoo-haskell/gentoo-haskell - 603113c30..95b952add master -> origin/master -Updating 603113c30..95b952add -Fast-forward - dev-lang/idris/Manifest | 1 + - dev-lang/idris/idris-1.1.0.ebuild | 100 ++++++++++++++++++++++++++++++++++++++ - 2 files changed, 101 insertions(+) - create mode 100644 dev-lang/idris/idris-1.1.0.ebuild +Already up-to-date. *** syncing haskell *** synced haskell * Sync succeeded |