The annotated tag, debian/20120423-1 has been created
at 35958b8d1bcbdd7a5f623a8c67f01dba24a6cd09 (tag)
tagging acba4c3a41c04c0067e1616b92d6a3c82c698843 (commit)
replaces upstream/20120423
tagged by Hendrik Tews
on Fri Apr 27 09:51:05 2012 +0200
- Shortlog ------------------------------------------------------------
Debian release 20120423-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAABCAAGBQJPmk/pAAoJEOxoV33tyu5oTaIQAMuN7YmM3hhXcr5LLnkY2eZ9
uLxRkRoZa7LBWJbGniRk/UQcdTt+uH1FFSfYvXLv55hMaDkFuo1txqC/O8iQbkti
Q5k1POERkYu5VBtJl1OFLa8uItXrHlmEX5yfhVt182mz/Nr2xpNHBndab61xcq8k
VfaZZu4hEG231i12iu7a9aeIQ4nD/v/lUxOPtbW4x3uMgeeLR8lSET0oWDI/GGSG
FtA/1cgmpg2KNBfV33DzrJDamKNwrWrSzLl5yMWkjVTttypk92QXFT5LpKcaTFH1
4aKAABEjbKu8fcCF8QXkESJsgayPwcZ5jgkKo3DmYqBgmIVRhVKcFR4H6hl3dfm6
hg2Ilx/ZobzWEQ9M2uhVnlzp08Vn/ZqZttWtQMyR2F3BuGvhgpWyS18a6ciuMBqX
Pv7CDJUQUDUrmA2I+okng0TDp5eB4p8/ygK8VNKH8lltPDgCQPgJvVdLyidRAsUy
5eMObsPk2qSxVGrNU+7ssNrK8BE/HZMFQ8YhaD9B42lbXcc3YlGZvqviv3r10VS2
HFf02ZgB027YHG6LxRZNQVOlnA/y+vU5f5wd4FBaGXwqnwQuC4s/tfArS3WUUnVw
Qtb1KqJBBeRS4r9NVcf92Pi2eWjOUkts5m3EoCWTEsK7j70/z/Wk0f3RHEMihPaq
HN7cY3Kw/V7pT+LsJJOL
=LO2b
-----END PGP SIGNATURE-----
Hendrik Tews (15):
initial packaging
dh --with ocaml
fix camlp5 dependencies and other small changes
linitan override and hint on command
tests and other changes
add quilt .pc directory
one test only
prepare holtest
Adapt README.Debian and holtest
Merge commit 'upstream/20120322'
adapt to new upstream version
reenable test
copyright refinement
Merge tag 'upstream/20120423'
fix copyright file
Stephane Glondu (1):
Add debian/gbp.conf
-----------------------------------------------------------------------
--
hol-light packaging
_______________________________________________
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
