[cvc4] 01/02: Adjust debian/copyright

[Fabian Wolff]

This is an automated email from the git hooks/post-receive script.

fw-guest pushed a commit to branch master
in repository cvc4.

commit 58407b418ed7c83448739f0ea3e2857da13cb63e
Author: Fabian Wolff <fabi.wolff at arcor.de>
Date:   Mon Mar 27 18:57:24 2017 +0200

    Adjust debian/copyright
---
 debian/copyright | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index 1c321c2..cb8de0e 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,4 +1,4 @@
-Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: CVC4
 Source: http://cvc4.cs.stanford.edu/downloads/builds/src/
 
@@ -34,7 +34,7 @@ License:   GPL-3+
 
 Files:     config/boost.m4
 Copyright: 2007-2011 Benoit Sigoure <tsuna at lrde.epita.fr>
-License:   GPL-3+ with Autoconf exception #1
+License:   GPL-3+ with Autoconf-1 exception
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or (at
@@ -60,14 +60,14 @@ License:   GPL-3+ with Autoconf exception #1
 
 Files:     config/doxygen.am
 Copyright: 2004 Oren Ben-Kiki
-License:   GPL-3+ with Autoconf exception #2
+License:   GPL-3+ with Autoconf-2 exception
 
 Files:     config/ax_tls.m4
 Copyright: 2008 Alan Woodland <ajw05 at aber.ac.uk>
            2010 Diego Elio Pettenò <flameeyes at gmail.com>
-License:   GPL-3+ with Autoconf exception #2
+License:   GPL-3+ with Autoconf-2 exception
 
-License: GPL-3+ with Autoconf exception #2
+License: GPL-3+ with Autoconf-2 exception
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or (at
@@ -100,7 +100,7 @@ License: GPL-3+ with Autoconf exception #2
 
 Files:     config/pkg.m4
 Copyright: 2004 Scott James Remnant <scott at netsplit.com>
-License:   GPL-3+ with Autoconf exception #3
+License:   GPL-3+ with Autoconf-3 exception
  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or (at

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/cvc4.git