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

Reply via email to