Hi,

Ok, there were only minor differences between the repo and the version on hackage so I imported the changes into the repo, which should now be the same as version 1.3.7 on hackage.
Please feel free to submit merge requests----all the folks I know who worked on this originally are busy with other stuff, so we really need someone who's using the library to help.

Thanks!
-Iavor



On Mon, Nov 12, 2012 at 2:06 PM, Iustin Pop <iusty@k1024.org> wrote:
On Mon, Nov 12, 2012 at 10:57:25PM +0100, Iustin Pop wrote:
> On Mon, Nov 12, 2012 at 01:48:23PM -0800, Iavor Diatchki wrote:
> > Hi,
> >
> > the curl binding certainly needs some love---if anyone has the time to fix
> > it up and maintain it, help would be most appreciated.  There is a repo for
> > it over here: https://github.com/GaloisInc/curl which is the most up-to
> > date version I know of, but since the last commit there seems to be from 4
> > years ago, I'm not going to bet that there aren't any additional fixes
> > floating around.  (cc-ing Don, who is listed as the maintainer, but I'm not
> > sure if he has time to deal with curl right now)
>
> I've tried to contact Don multiple times over the past month with offers
> of whatever help I can give, but I heard nothing back.
>
> I didn't know about the github repo (it's not listed on the hackage
> page), so thanks a lot for that info, I'll try to send some merge
> requests and file bugs (there is a least one critical bug w.r.t. SSL
> usage on Linux and another small-impact bug with cookie jars usage).

Hmm, checking again, the github repo is at version 1.3.5 (April 2009),
whereas hackage is at version 1.3.7 (uploaded in May 2011).

Still hunting for a correct upstream project page or tracker…

regards,
iustin