On 11/01/11 20:41, Peter Simons wrote:
> Hi Magnus,
>
> > Are [cabal2arch and archlinux] in a state where new versions can be
> > released right now?
>
> only recently, Remy has added the "platform-provides.txt" feature to these
> tools, which constitutes a major change in behavior. It's best ill
On 11/01/11 11:27, Peter Simons wrote:
>> Here's my "process" for updating packages on AUR:
>>
>> 1. Pull down any changes to my local copy of the HABS tree.
>> 2. Open a clean chroot and bind-mount HABS and some personal tools into it.
>> 3. Get the URL for the package that needs updating.
>> 4. R
from http://aur.archlinux.org/packages.php?ID=26171
luinuz wrote:
I'm using only AUR haskell packages.
Updated with complete output in http://aur.pastebin.com/N83wR7GA
Thanks!
---
If you no longer wish to receive notifications about this package,
please go the the above package page and click th
On Tue, Jan 11, 2011 at 09:26:51AM -0500, Hudak, Paul wrote:
> You can find the SOE webpage here:
>
> http://plucky.cs.yale.edu/soe/
>
> I also updated the links from http://www.haskell.org/haskellwiki/Books to
> point to the right place. Please let me know if you see any other problems.
Thank
On 11 Jan 2011, at 14:26, Hudak, Paul wrote:
You can find the SOE webpage here:
http://plucky.cs.yale.edu/soe/
I also updated the links from http://www.haskell.org/haskellwiki/
Books to point to the right place. Please let me know if you see
any other problems.
I have added a redirect f
[Apologies for multiple copies]
JOURNAL OF APPLIED LOGIC
Special Issue on Automated Specification and Verification of Web Systems
http://www.risc.uni-linz.ac.at/people/tkutsia/jal-wwv.html
==
You can find the SOE webpage here:
http://plucky.cs.yale.edu/soe/
I also updated the links from http://www.haskell.org/haskellwiki/Books to point
to the right place. Please let me know if you see any other problems.
Thanks,-Paul
> -Original Message-
> From: haskell-boun...@haskel