[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, experimental/master, updated. debian/0.94-2-17-gce3d6a4

Ralf Treinen treinen at pps.univ-paris-diderot.fr
Fri Apr 5 09:07:51 UTC 2013


The following commit has been merged in the experimental/master branch:
commit 0ff3341d37aa91ae67ff2a18a64b2eb890921d7c
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Fri Apr 5 10:14:18 2013 +0200

    added Ralf as uploader

diff --git a/debian/changelog b/debian/changelog
index 6ab1191..344dc76 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -17,8 +17,9 @@ alt-ergo (0.95.1-1) UNRELEASED; urgency=low
        is now subsumed by "make all"
      - dh_auto_install: only call "make install" since thsi subsumes the
        other targets
-  
- -- Ralf Treinen <treinen at debian.org>  Thu, 04 Apr 2013 14:12:29 +0200
+  * Added myself as uploader.
+
+ -- Ralf Treinen <treinen at debian.org>  Fri, 05 Apr 2013 10:13:58 +0200
 
 alt-ergo (0.94-2) unstable; urgency=high
 
diff --git a/debian/control b/debian/control
index 606123d..edf17d1 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,8 @@ Section: math
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders:
- Mehdi Dogguy <mehdi at debian.org>
+ Mehdi Dogguy <mehdi at debian.org>,
+ Ralf Treinen <treinen at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
  autotools-dev,

-- 
alt-ergo packaging



More information about the Pkg-ocaml-maint-commits mailing list