[Pkg-ocaml-maint-commits] r5716 - in /trunk/packages/matita/trunk/debian: changelog control
gareuselesinge at users.alioth.debian.org
gareuselesinge at users.alioth.debian.org
Thu May 29 08:17:16 UTC 2008
Author: gareuselesinge
Date: Thu May 29 08:17:16 2008
New Revision: 5716
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5716
Log:
matita 0.5.1 ready to be uploaded and built with 3.10.2
Modified:
trunk/packages/matita/trunk/debian/changelog
trunk/packages/matita/trunk/debian/control
Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=5716&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Thu May 29 08:17:16 2008
@@ -1,8 +1,8 @@
-matita (0.5.1-1) UNRELEASED; urgency=low
+matita (0.5.1-1) unstable; urgency=medium
* New upstream release
- -- Enrico Tassi <gareuselesinge at debian.org> Wed, 28 May 2008 12:15:52 +0200
+ -- Enrico Tassi <gareuselesinge at debian.org> Thu, 29 May 2008 10:14:28 +0200
matita (0.5.0-1) unstable; urgency=low
Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=5716&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Thu May 29 08:17:16 2008
@@ -3,7 +3,7 @@
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Uploaders: Enrico Tassi <gareuselesinge at debian.org>, Stefano Zacchiroli <zack at debian.org>
-Build-Depends: ocaml (>= 3.10.1), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2)
+Build-Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2)
Standards-Version: 3.7.3
Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk
Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
More information about the Pkg-ocaml-maint-commits
mailing list