[Pkg-ocaml-maint-commits] [aac-tactics] annotated tag debian/8.6.1-2 created (now 7373b26)

[Stéphane Glondu]

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