Date: Tuesday, December 1, 2015 @ 09:51:52 Author: fyan Revision: 252090 extra2community: Moving cabal-install from extra to community Deleted: cabal-install/