[Pkg-ocaml-maint-commits] [why] 01/01: generate frama-c-plugin/META.frama-c-jessie

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit f01f917f7495cb6a44076025907fb48fc54aedda Author: Ralf Treinen Date: Sun Dec 18 19:23:40 2016 +0100 generate frama-c-plugin/META.frama-c-jessie --- debian/

[Pkg-ocaml-maint-commits] [why] annotated tag debian/2.36-3 created (now babc8dc)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/2.36-3 in repository why. at babc8dc (tag) tagging f01f917f7495cb6a44076025907fb48fc54aedda (commit) replaces debian/2.36-2 tagged by Ralf Treinen on Sun

[Pkg-ocaml-maint-commits] [why] branch master updated (72c7ad8 -> f01f917)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from 72c7ad8 stop using libapron new f01f917 generate frama-c-plugin/META.frama-c-jessie The 1 revisions listed above as "new" are entirely new to thi