From c49506eea7f68e235daa802d7cbcce149cd4354b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 27 Jul 2020 21:47:28 +0200 Subject: [PATCH] * debian/copyright: Replace MIT by Expat. --- debian/copyright | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/copyright b/debian/copyright index 669d5abd2..ae2340f5f 100644 --- a/debian/copyright +++ b/debian/copyright @@ -165,7 +165,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 @@ -186,7 +186,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