[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.18.dfsg-3, created. debian/2.18.dfsg-3
Mehdi Dogguy
dogguy at pps.jussieu.fr
Fri May 15 17:16:34 UTC 2009
The annotated tag, debian/2.18.dfsg-3 has been created
at f721621e937abac3c6239e301bb8a06667940e1a (tag)
tagging 9d3d6edd9e361f9c6bc12201e15460279dfc43c9 (commit)
replaces debian/2.18.dfsg-2
tagged by Mehdi Dogguy
on Fri May 15 19:14:55 2009 +0200
- Shortlog ------------------------------------------------------------
Debian release 2.18.dfsg-3
Mehdi Dogguy (10):
UNRELEASED
Fix erroneous usage of ifdef in debian/rules
Replace ifndef with ifeq which is less error prone
why-examples depends on non-versioned libwhy-coq and why
Make a long description for libwhy-coq, closes: #524054
Bump standards version to 3.8.1, no changes needed
Export Jc_ast in jessie library and install cmo and cmx
Make jc_act and jc_env fit in the pack
Move libjessie-ocaml-dev to section ocaml
Prepare to release
-----------------------------------------------------------------------
--
why packaging
More information about the Pkg-ocaml-maint-commits
mailing list