This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20170501+phosphorus+dfsg-2 in repository frama-c.
at c26ebd2 (tag) tagging de35fac2935de2a2bf6f18fe0b90f7fc4b0bea86 (commit) replaces debian/20170501+phosphorus+dfsg-1 tagged by Mehdi Dogguy on Sun Sep 10 13:53:24 2017 +0200 - Log ----------------------------------------------------------------- frama-c Debian release 20170501+phosphorus+dfsg-2 -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEvYOKK6r540CL2WRoM74aCowu2P8FAlm1J7QACgkQM74aCowu 2P/KWA//RxIlSk2/3K7zw87xYNjUGXGic9qOa9V8k5mmPxZEVT2DHacbQhCeC6m2 e7FZ6idCDmOQr0UAY77JJX/gUKdSyIzpXpL6h33SF854aycpen0pAw3EjWniWMjC /rAK7aSR/mlkF7BY914AVIhPz5zqXx1l5UObzWVZjUXbgtDYoonAofWoe00H56G9 Tt3b1v6vuMC41Jrkr85inUvndtPrmL5S0ev/+dfesHHFL6Z82vBZ4rVxi4M5rQI3 UVyx5Iiuvn0n6/7L56EMp6Jv+9QrC2Sk1Cq0lr9GWcy2jKxxA4hymun1obvq4CjX xa8CgXbFaxylb0v99E7btqahMPtIkos1Dcuw99kU381tCyvV+rOVGxwXs+Ybj8/S w9c7LrTFq3tCMYxIIiFvxIXJQti+DC7Pahz+tnA79TZH9mdCRk/tkbIxyErTtf3z DND9DeUJiA7G41bL9WUKRBvYQoV6HkCQFgS0UHrmRQT0/M1BuP4+g9AmjREchNPh X5QFnW6eD8TbeE2KjzQ5ph7SUqg8P5h4YkCmTAZJieNQIf1Gv6uc5l1R3HLrm9rn 4rLXQ9QwNRrz53BLD4MmYlu2ESsuTzVNh5MRgd+Q7PRWTnp3hf9RFCjLt1n5AJhJ XgRoZISW1UrcltIkflVt0hNvTdG+DiVkO6/PG8wgjWDOq2/aiwY= =cGpv -----END PGP SIGNATURE----- Mehdi Dogguy (7): Fix typo in patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch Add 2 new fixes from upstream's repository Install zsh completion file Fix installation target on bytecode architectures Do not use '-C' CPPFLAG when compiling jemalloc Changelog update 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