From cf916fd97fbac51af6fa68ec2704da2a28ef9ede Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 2 Feb 2019 19:12:28 -0500 Subject: Prepare to import ssrmatching in 8.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Upstream has corrected most of the licensing issues with ssrmatching in 8.9.0. That version introduced one new file with a CeCILL-B license, but it’s an .mli file, so OCaml should be able to infer its contents. Don’t import the offending .mli, but do import the files with corrected license headers. Remove the patch introduced in 5d3dc22cc205021e517a81943952655c51777083 (which backported the correctly licensed files). --- debian/patches/series | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index 7253c063..d2f569c1 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,9 +2,8 @@ 0002-Remove-test-4429.patch 0003-Remove-3441.v-and-4811.v-due-to-timeout-on-small-pla.patch 0004-5127-fails-on-mips.patch -0005-ssrmatching-license.patch -0006-remove-tests-that-need-coqlib.patch -0007-spelling.patch -0008-avoid-usr-bin-env.patch -0009-python-scripts-libraries.patch -0010-skip-dot-pc.patch +0005-remove-tests-that-need-coqlib.patch +0006-spelling.patch +0007-avoid-usr-bin-env.patch +0008-python-scripts-libraries.patch +0009-skip-dot-pc.patch -- cgit v1.2.3