[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging annotated tag, debian/1.4-1, created. debian/1.4-1

[Stephane Glondu]

The annotated tag, debian/1.4-1 has been created
        at  5f96aa7f15fd7e877cae5ec852bf2d9b79109b4d (tag)
   tagging  cd46e52d15984d32ff3fa533c17ca0bb1f38c3e4 (commit)
  replaces  debian/1.3pl4-1
 tagged by  Stephane Glondu
        on  Tue Sep 18 17:45:16 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.4-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iQIcBAABCgAGBQJQWJcMAAoJEHhT2k1JiBrT864QAInsg3QbKPxtJCAzGLCvRzrw
Yja0XZW7fcoVgzBmPQcRgpqFtWYmVjZsx7L4iwQK0rsYeRYA5/6CsUbrGlaDptfH
HPLusW3FoQ0/mACfETIThuRTssUHxKp51v7edRhyRHX3Nmmu4rpxKZR43/j88PP9
8ayEVazodQ7s2PcmENQW/leBFT7zr+8SpjU6gG8VhQ7LLZAoplArFVRkPb9Cu9Gj
dbQ3gFh37UKVXsLlPGE93Ypv3+vrggf43iFlbIdchzf2o7s9jCY0v5TDGC4CKYw5
We/HZrzlO89If5CrZgihHRB3SKLZRINd5mYK+1R8SKNifztQje64TUxvW2URuccF
V4MdB8amX3Ziz95jqOZq/LzeXZQ8ToBqtHne2YrbfCJfnEIyqZKAll+QRNMFPxdb
Z0hEmPK6taTmpxBy1NabqW+XvSPY1JHyHAqSkZqjjQqPanfBAfRnM4u/NeBFs1am
3H4C3t243V+xoKMFe8fzYq/38NylTKVczdgMC7nnigtDiBQkWUJtvaxOpu/siNJY
nzlj20HKukcgEwtfkN/0NRWuxGCYiiBhp1sIb3JpgEsgC+kb+mw4asFHjmO4Fefd
9thwmCAQiX8RAhTTMOiGmqJi0DuBTsjVjEr0lentUje7gfJ1SYHk09t4Rnw8o4Jq
ZRwrWDOsI3t7TRzpdnNY
=EU8k
-----END PGP SIGNATURE-----

Stephane Glondu (9):
      Update debian/watch
      Imported Upstream version 1.4
      Merge tag 'upstream/1.4'
      New upstream release
      Remove obsolete patch
      Tests are no longer shipped
      This version requires Coq 8.4
      Update to new upstream build system
      Prepare upload to experimental

-----------------------------------------------------------------------

-- 
ssreflect packaging