This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/8.6.1-2 in repository aac-tactics.
at 7373b26 (tag) tagging 4f8ae900f852981023515f9bc6bf7d14580f57ea (commit) replaces debian/8.5.1-1 tagged by Stephane Glondu on Mon Oct 9 10:39:07 2017 +0200 - Log ----------------------------------------------------------------- aac-tactics Debian release 8.6.1-2 -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnbNasACgkQeFPaTUmI GtPBexAAlfZEkw0OuDSkUho2CrOJxmqdPSlKUjJBlc3J8pncpPJmZwOWXE2kMaho 9/DxgfpHDHoc9uznl5SqU34YFzGVXgTn90R+xpawJq7sFSdjN8xOhVWla4mebwRM Vvtf8RcwxeNGHCBZvMgeZtm7aGTlYeIT/QeM1nCFFvEIufBZpWAJj2eSkaHrQnkc PDS+W4iwP52mBNBUO3CNeSevI7l8VJDp5nPhDFzCID7fhLCUGy9uWFbP+SBWLERW m7TwBDEab4klLvpb45+m864JVeL2gHYp3fe/0+66u6olmOe6FDay4SgJgza+xOXi RTYBgCDQQwIjFf1tbmm6E4Lxa97XyE+sce9kUuNWy23AigkPlh+9MNjsevkeZC1V DsmqI6hXgtKpaM6YsfbqgDxecT2fd7wej10HDBN/j/KBGLpNUNxQ+V9oRWi0D98/ DswamHH4giq6SR3EDLRAgyfcFQASohcfoQoYzz+WPSDyYlI06C6doi6qtUgpMTcb RgxmvnCBbjLXR1lYRA/3zvcYnFUSPNXRsLQkxmNm1AnKup9bHz2SOJMjxvxuulZM Fq4B+tDfGS4Tp/N/52P65IsCOOKBKF4CxQZQxaS1TgPMl68BWksGYcxnUu1E79iG mSN1QqZBSLpy3MqkkATD+JXO73qd7GjlkusTDVixadL7U2qCNUU= =lpDQ -----END PGP SIGNATURE----- Enrico Tassi (6): Merge tag 'upstream/8.6' New upstream version 8.6 aac for Coq 8.6 New upstream version 8.6.1 Merge tag 'upstream/8.6.1' 8.6.1 Stephane Glondu (1): Recompile with OCaml 4.05.0 ----------------------------------------------------------------------- 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/aac-tactics.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