On Thu, Jul 12, 2018 at 08:33:27PM -0600, Jerry James wrote:
> On Thu, Jul 12, 2018 at 9:14 AM Jerry James wrote:
> > If I can, I will put my WIP mojo-executor,
> > string-template-maven-plugin, and antlr4 packages somewhere online so
> > any motivated souls can look at them while I am gone. One
On Thu, Jul 12, 2018 at 9:14 AM Jerry James wrote:
> If I can, I will put my WIP mojo-executor,
> string-template-maven-plugin, and antlr4 packages somewhere online so
> any motivated souls can look at them while I am gone. One thing that
> would help is to add a POM to the ant-contrib package; I
On Thu, Jul 12, 2018 at 8:42 AM Richard W.M. Jones wrote:
> OCaml 4.07.0 was released on Tuesday and it's in Fedora Rawhide today.
> All packages that use OCaml have been recompiled except:
>
> - why3: "Error: Unbound module Stdlib" - probably needs an
>upstream change
>
> If you see any othe
On Thu, Jul 12, 2018 at 03:40:34PM +0100, Richard W.M. Jones wrote:
> OCaml 4.07.0 was released on Tuesday and it's in Fedora Rawhide today.
> All packages that use OCaml have been recompiled except:
>
> - why3: "Error: Unbound module Stdlib" - probably needs an
>upstream change
A couple mor
