[SCM] libm4ri: library of Method of the Four Russians Inversion branch, master, updated. a15bf732be2bc840f6b02c15207875955b08c66b

[Cédric Boutillier]

The following commit has been merged in the master branch:
commit e439ee08788f472ab949843f25d339342b0b2427
Author: Cédric Boutillier <boutil at debian.org>
Date:   Tue Dec 18 23:20:29 2012 +0100

    point to /usr/share/common-licenses/GPL-x for GPL-x+ license text

diff --git a/debian/copyright b/debian/copyright
index 1d439eb..dd1d33c 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -64,8 +64,8 @@ License: GPL-2+
  the Free Software Foundation; either version 2 of the License, or
  (at your option) any later version.
  .
- On Debian systems, the complete text of the GNU General
- Public License can be found in `/usr/share/common-licenses/GPL'.
+ On Debian systems, the complete text of the GNU General Public License,
+ version 2, can be found in `/usr/share/common-licenses/GPL-2'.
 
 License: GPL-3+
  This package is free software; you can redistribute it and/or modify
@@ -73,8 +73,8 @@ License: GPL-3+
  the Free Software Foundation; either version 3 of the License, or
  (at your option) any later version.
  .
- On Debian systems, the complete text of the GNU General
- Public License can be found in `/usr/share/common-licenses/GPL'.
+ On Debian systems, the complete text of the GNU General Public License,
+ version 3, can be found in `/usr/share/common-licenses/GPL-3'.
 
 License: permissive
  Copying and distribution of this file, with or without modification, are

-- 
libm4ri: library of Method of the Four Russians Inversion