Lintian Fixes - frama-c

Ready changes

Diff

diff --git a/debian/changelog b/debian/changelog
index a0ffa3be..866282fd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+frama-c (20220511-manganese-1.4) UNRELEASED; urgency=medium
+
+  * debian/copyright: use spaces rather than tabs to start continuation lines.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Sat, 27 Aug 2022 05:07:11 -0000
+
 frama-c (20220511-manganese-1.3) unstable; urgency=medium
 
   * Tighten the dep on newer why3 also for autopkgtest.
diff --git a/debian/copyright b/debian/copyright
index 4275f176..b24e56e1 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,8 +5,8 @@ Upstream-Contact: Software Reliability Laboratory (LSL) and INRIA ProVal project
 
 Files: *
 Copyright: © 2007-2017 CEA (Commissariat à l'Énergie Atomique)
-	   © 2007-2017 INRIA (Institut National de Recherche en Informatique
-	   et Automatique)
+           © 2007-2017 INRIA (Institut National de Recherche en Informatique
+           et Automatique)
            © 2007-2017 INSA (Institut National des Sciences Appliquees)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
@@ -77,11 +77,11 @@ License: LGPL-2.1
 
 Files: tests/spec/purse.c
 Copyright: © 2002-2006 Jean-François COUCHOT
-	   © 2002-2006 Mehdi DOGGUY
-	   © 2002-2006 Jean-Christophe FILLIÂTRE
-	   © 2002-2006 Thierry HUBERT
-	   © 2002-2006 Claude MARCHÉ
-	   © 2002-2006 Yannick MOY
+           © 2002-2006 Mehdi DOGGUY
+           © 2002-2006 Jean-Christophe FILLIÂTRE
+           © 2002-2006 Thierry HUBERT
+           © 2002-2006 Claude MARCHÉ
+           © 2002-2006 Yannick MOY
 License: GPL-2
  See `/usr/share/common-licenses/GPL-2'.
 

Run locally

More details

Full run details