[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.26+dfsg-2, created. debian/2.26+dfsg-2
Mehdi Dogguy
mehdi at debian.org
Tue Jul 20 17:51:57 UTC 2010
The annotated tag, debian/2.26+dfsg-2 has been created
at d98565c8e8ac6d33b933b71a34a7c27d218a753a (tag)
tagging 4801fdea4180d4e0aa66a285916b633fd15ac7fa (commit)
replaces debian/2.26+dfsg-1
tagged by Mehdi Dogguy
on Tue Jul 20 19:50:31 2010 +0200
- Shortlog ------------------------------------------------------------
Debian release 2.26+dfsg-2
Mehdi Dogguy (6):
Rebuild with Coq 8.2pl2
Convert to 3.0 (quilt) source format.
Bump standards version to 3.9.0, no changes needed.
Bump minimum frama-c-base's version to 20100401+boron+dfsg-4
Add "make" to runtime dependencies.
Release to unstable
Stephane Glondu (1):
Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)
-----------------------------------------------------------------------
--
why packaging
More information about the Pkg-ocaml-maint-commits
mailing list