Re: hol-light updated

2013-09-18 Thread Stéphane Glondu
Le 16/08/2013 12:25, Hendrik Tews a écrit : > I packaged a new version of Hol Light. The package should go to > unstable, it builds there as well as with OCaml 4 from > experimental. Uploaded. Feel free to ping if some of your RFS looks forgotten. Cheers, -- Stéphane -- To UNSUBSCRIBE, ema

hol-light updated

2013-08-16 Thread Hendrik Tews
Hi, I packaged a new version of Hol Light. The package should go to unstable, it builds there as well as with OCaml 4 from experimental. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debi

Re: package hol-light updated

2012-06-05 Thread Hendrik Tews
Stéphane Glondu writes: A comment, though: in the git repository, you unapplied the patches, I noticed that this was not optimal. But when I prepared the package the sigxcpu.org website on git-buildpackage and patches was down. I'll try again with the next version of hol-light. Bye, Hendrik

Re: package hol-light updated

2012-06-04 Thread Stéphane Glondu
On 31/05/2012 10:26, Hendrik Tews wrote: as the subject says ... I packaged a new upstream version, deleted and added some packages. The testsuit run successfully in 15 hours. Uploaded. A comment, though: in the git repository, you unapplied the patches, imported the new upstream version, the

package hol-light updated

2012-05-31 Thread Hendrik Tews
Hi, as the subject says ... I packaged a new upstream version, deleted and added some packages. The testsuit run successfully in 15 hours. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.de