* debian/copyright: Fix bricks' license, and replace MIT by Expat.

debian/copyright

@@ -51,30 +51,19 @@ License: BSD-2-Clause
 
 Files: spot/bricks/*
 Copyright: 2010-2014 Petr Ročkai, Jiří Weiser, Vladimír Štill
-License: BSD-2-Clause
- Permission is hereby granted, without written agreement and without
- license or royalty fees, to use, reproduce, prepare derivative
- works, distribute, and display this software and its documentation
- for any purpose, provided that (1) the above copyright notice and
- the following two paragraphs appear in all copies of the source code
- and (2) redistributions, including without limitation binaries,
- reproduce these notices in the supporting documentation. Substantial
- modifications to this software may be copyrighted by their authors
- and need not follow the licensing terms described here, provided
- that the new terms are clearly indicated in all files where they apply.
- .
- IN NO EVENT SHALL JORN LIND-NIELSEN, OR DISTRIBUTORS OF THIS
- SOFTWARE BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL,
- INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE USE OF THIS
- SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE AUTHORS OR ANY OF THE
- ABOVE PARTIES HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- .
- JORN LIND-NIELSEN SPECIFICALLY DISCLAIM ANY WARRANTIES, INCLUDING,
- BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
- FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
- ON AN "AS IS" BASIS, AND THE AUTHORS AND DISTRIBUTORS HAVE NO
- OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
- MODIFICATIONS.
+License: ISC
+ Permission to use, copy, modify, and distribute this software for any
+ purpose with or without fee is hereby granted, provided that the above
+ copyright notice and this permission notice appear in all copies.
+ .
+ THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+
 
 Files: utf8/*
 Copyright: 2006 Nemanja Trifunovic
@@ -192,7 +181,7 @@ License: GPL-3+
 
 Files: picosat/*
 Copyright: 2006 - 2015, Armin Biere, Johannes Kepler University.
-License: MIT style
+License: Expat
  Permission is hereby granted, free of charge, to any person obtaining a copy
  of this software and associated documentation files (the "Software"), to
  deal in the Software without restriction, including without limitation the
@@ -213,7 +202,7 @@ License: MIT style
 
 Files: spot/priv/robin_hood.hh
 Copyright: 2018-2019 Martin Ankerl
-License: MIT
+License: Expat
  Permission is hereby granted, free of charge, to any person obtaining a copy
  of this software and associated documentation files (the "Software"), to deal
  in the Software without restriction, including without limitation the rights