[Pkg-ocaml-maint-commits] [xstrp4] branch master updated (aa17591 -> c35bec3)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository xstrp4. from aa17591 Release to unstable new c35bec3 Recompile with OCaml 4.05.0 The 1 revisions listed above as "new" are entirely new to this repository

[Pkg-ocaml-maint-commits] [xstrp4] annotated tag debian/1.8.1-4 created (now dbd73b4)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/1.8.1-4 in repository xstrp4. at dbd73b4 (tag) tagging c35bec3414dd93c85cd7d10708f311330f9d921e (commit) replaces debian/1.8.1-3 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [aac-tactics] 01/01: Recompile with OCaml 4.05.0

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository aac-tactics. commit 4f8ae900f852981023515f9bc6bf7d14580f57ea Author: Stephane Glondu Date: Mon Oct 9 10:33:49 2017 +0200 Recompile with OCaml 4.05.0

[Pkg-ocaml-maint-commits] [aac-tactics] annotated tag debian/8.6.1-2 created (now 7373b26)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/8.6.1-2 in repository aac-tactics. at 7373b26 (tag) tagging 4f8ae900f852981023515f9bc6bf7d14580f57ea (commit) replaces debian/8.5.1-1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [aac-tactics] branch master updated (15d7275 -> 4f8ae90)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository aac-tactics. from 15d7275 8.6.1 new 4f8ae90 Recompile with OCaml 4.05.0 The 1 revisions listed above as "new" are entirely new to this repository and will

[Pkg-ocaml-maint-commits] [ssreflect] branch master updated (430b3d8 -> 5fe44ca)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository ssreflect. from 430b3d8 fix build-arch target new 5fe44ca Recompile with OCaml 4.05.0 The 1 revisions listed above as "new" are entirely new to this

[Pkg-ocaml-maint-commits] [ssreflect] 01/01: Recompile with OCaml 4.05.0

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect. commit 5fe44ca756b1602acf2025b956067c64101fdc14 Author: Stephane Glondu Date: Mon Oct 9 10:42:39 2017 +0200 Recompile with OCaml 4.05.0

[Pkg-ocaml-maint-commits] [ssreflect] annotated tag debian/1.6.1-3 created (now 3be76c5)

This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/1.6.1-3 in repository ssreflect. at 3be76c5 (tag) tagging 5fe44ca756b1602acf2025b956067c64101fdc14 (commit) replaces debian/1.6.1-2 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [xstrp4] 01/01: Recompile with OCaml 4.05.0

This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository xstrp4. commit c35bec3414dd93c85cd7d10708f311330f9d921e Author: Stephane Glondu Date: Mon Oct 9 09:44:20 2017 +0200 Recompile with OCaml 4.05.0 ---