[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-21-geaf3830

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit d96f172479037ab6076d394e81a7a125a186db6c
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 08:54:40 2009 +0200

    Bump Standards-Version to 3.8.3
    
    Add a README.source

diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..b6f7b52
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,16 @@
+Frama-C Debian source package
+=============================
+
+Patching upstream sources
+-------------------------
+
+This source package uses quilt to apply and remove its patches. Please
+refer to `/usr/share/doc/quilt/README.source' for information about
+how to use quilt for source packages.
+
+The quilt series is generated from the Git repository, using
+dom-{apply,save}-patches, from the dh-ocaml (>= 0.5) package. Please
+refer to the appendix about Git in the Debian OCaml Packaging Policy
+(from the same package).
+
+ -- Mehdi Dogguy <mehdi at debian.org>, Fri, 28 Aug 2009 09:04:48 +0200
diff --git a/debian/control b/debian/control
index f05e991..eeb5696 100644
--- a/debian/control
+++ b/debian/control
@@ -17,7 +17,7 @@ Build-Depends:
  xsltproc,
  libxml2-utils,
  quilt (>= 0.46-7)
-Standards-Version: 3.8.1
+Standards-Version: 3.8.3
 Homepage: http://frama-c.cea.fr/
 Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/frama-c.git
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/frama-c.git

-- 
frama-c packaging