Re: How to remove a cabal package from the local system?

2015-01-22 Thread Volker Wysk
Am Mittwoch, 21. Januar 2015, 19:39:50 schrieben Sie: On 2015-01-21 at 16:36:08 +0100, Volker Wysk wrote: I have installed/registered a new version of a package with cabal by accident. How can I remove it again? Not sure if this is what you want, but the `cab` tool has an `uninstall`

Re: How to remove a cabal package from the local system?

2015-01-22 Thread Herbert Valerio Riedel
On 2015-01-22 at 09:04:30 +0100, Volker Wysk wrote: I have installed/registered a new version of a package with cabal by accident. How can I remove it again? Not sure if this is what you want, but the `cab` tool has an `uninstall` sub-command to unregister and remove installed packages.

ANN: git-monitor

2015-01-22 Thread John Wiegley
git-monitor auto-commits all changes to a Git working tree, within a special branch named refs/snapshots/refs/heads/branch. It has no impact on the Git repository otherwise, and will not effect your real branches. It has the following features: - It is designed to be extremely resource

Re: [Haskell] ANN: git-monitor

2015-01-22 Thread John Wiegley
John Wiegley jo...@newartisans.com writes: https://github.com/jwiegley/git-monitor The page is: https://github.com/jwiegley/gitlib John ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

Re: How to remove a cabal package from the local system?

2015-01-22 Thread Albert Y. C. Lai
On 2015-01-21 10:36 AM, Volker Wysk wrote: I have installed/registered a new version of a package with cabal by accident. How can I remove it again? See my http://www.vex.net/~trebla/haskell/sicp.xhtml#remove . In fact, read the whole thing. ___

Re: [Haskell] ANN: git-monitor

2015-01-22 Thread Ben Gamari
John Wiegley jo...@newartisans.com writes: John Wiegley jo...@newartisans.com writes: https://github.com/jwiegley/git-monitor The page is: https://github.com/jwiegley/gitlib Looks great! Power consumption could be further improved by using inotify [1] (or the host's operating

[Haskell] [ANNOUNCE] New release of SBV

2015-01-22 Thread Levent Erkok
I'm happy to announce a new release of SBV (v4.0); a library for seamlessly integrating SMT solvers with Haskell. https://hackage.haskell.org/package/sbv Most of the changes in this release are due to Brian Huffman of Galois; essentially adding capabilities so end-users can define