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
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
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
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
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
5 matches
Mail list logo