[Pkg-ocaml-maint-commits] [frama-c] 01/02: Avoid using PWD in the Makefile

2017-01-01 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 321b9553e1873963ebd2bc75755dfdd8376229d9 Author: Mehdi Dogguy Date: Sun Jan 1 17:26:28 2017 +0100 Avoid using PWD in the Makefile ---

[Pkg-ocaml-maint-commits] [frama-c] branch master updated (324038d -> 0de6a01)

2017-01-01 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository frama-c. from 324038d Release to unstable new 321b955 Avoid using PWD in the Makefile new 0de6a01 Release to unstable The 2 revisions listed above

[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-4 created (now 16a9fe7)

2017-01-01 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20161101+silicon+dfsg-4 in repository frama-c. at 16a9fe7 (tag) tagging 0de6a017f4dd7ad92b6010ea2ca690722b02ea3d (commit) replaces debian/20161101+silicon+dfsg-3

[Pkg-ocaml-maint-commits] [otags] annotated tag debian/4.02.2-2 created (now 5fd98d9)

2017-01-01 Thread Hendrik Tews
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to annotated tag debian/4.02.2-2 in repository otags. at 5fd98d9 (tag) tagging 635f74b61d29af04510750eade9f1adb3c6b3af5 (commit) replaces debian/4.02.2-1 tagged by Hendrik Tews

[Pkg-ocaml-maint-commits] [otags] 01/01: fix 3 lintian warnings

2017-01-01 Thread Hendrik Tews
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository otags. commit 635f74b61d29af04510750eade9f1adb3c6b3af5 Author: Hendrik Tews Date: Sun Jan 1 15:59:42 2017 +0100 fix 3 lintian warnings ---

[Pkg-ocaml-maint-commits] [otags] branch master updated (475812b -> 635f74b)

2017-01-01 Thread Hendrik Tews
This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a change to branch master in repository otags. from 475812b build and test without libsexplib-camlp4-dev new 635f74b fix 3 lintian warnings The 1 revisions listed above as "new" are