This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20170501+phosphorus+dfsg-1 in repository frama-c.
at c7bcf9b (tag) tagging f422bfbff3cac2c5a34cfee42a56a82236fb8b84 (commit) replaces debian/20161101+silicon+dfsg-6 tagged by Mehdi Dogguy on Fri Aug 11 14:32:24 2017 -0400 - Log ----------------------------------------------------------------- frama-c Debian release 20170501+phosphorus+dfsg-1 -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlmN+DgACgkQM74aCowu 2P9laBAAv2D5cTDWYXuDxagcm8IBR/bXx1f56QEXx3NDwiwKYvifDZxQiTBe+sBg 6JjKVwhxgE4umuSvWgMRKDg85M9XWGCNgxeZHq5WBLDc3uzAF2PuOOSplnlcWYUp YE9j/7oSOY6r3d0iP+ruhpNiw8jJOvDezAVL7NOUCZI6FlLmkWtaEZj9+sjw/gdt S7lPRurcwu6pBiHzTwYHptkHa3hzFJbgdmpVgHG3lWOs+mWLi5sOwGx55CPFLqe7 Jtt/Zap1+HGiyPrMbQ1sl9Ha4nib5aSJBjRn1O3Yl8qDwbLPSz6Xp6qG1D1JW0Qd U4iLwyjIXo39qEujNbUzvykAQQ000jyDCFeMLdGKianoDIvDAqCVsdvhzqAhgkkz 0vfFo2YyRwIjfukXcoyvS9Z4EDzfhE+tmhbVz0mcuNbKnj3Kz7jjH7NLK/d/qJOe JC8BAo37a6HX9eGTgcFTSijJ6L7EiqGY73mU5agSMrEsUGizNzO0noQlGuSbNtA+ pffQdwaTwxhHFnpnS7giS3PXHvzYJvFpaGiTtXmz3fq3S//LsWtb6rBLOM4pd48h kAe+pfRjuPanX5n1XvJdWADKdKAv4Op6Exf6yrOwcBjiERwxGgieXwAiImGXHrd0 Z5tCbQ36syeiwj9aoLT6lcGJTqn10MmGvpzjSqldVFWVEdsh7ws= =yyPL -----END PGP SIGNATURE----- Mehdi Dogguy (8): New upstream version 20170501+phosphorus+dfsg Updated version 20170501+phosphorus+dfsg from 'upstream/20170501+phosphorus+dfsg' Update copyright file Refresh patches New patch to fix more spelling errors Add references to upstream bugs for some patches Update changelog Release to unstable ----------------------------------------------------------------------- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits