From 2381d41548f55b410f6834e35fa828af9f75ee43 Mon Sep 17 00:00:00 2001 From: Gianfranco Costamagna Date: Sun, 20 Nov 2022 00:01:07 +0100 Subject: [PATCH] Revert the change, hopefully mips64el is bootstrapped now --- debian/control | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/debian/control b/debian/control index c6add0ba..db82f765 100644 --- a/debian/control +++ b/debian/control @@ -22,9 +22,8 @@ Build-Depends: debhelper (>= 10.0), cmake, ninja-build, libctypes-ocaml-dev [amd64 arm64 armhf ppc64el riscv64 s390x], dh-exec, dh-ocaml [amd64 arm64 armhf ppc64el riscv64 s390x], libpfm4-dev [linux-any], python3-setuptools, libz3-dev, - llvm-spirv-15 [ amd64 arm64 armel armhf mipsel ppc64el s390x ] | + llvm-spirv-15 [ amd64 arm64 armel armhf mips64el mipsel ppc64el s390x ] | llvm-spirv-14 [ amd64 arm64 armel armhf mips64el mipsel ppc64el s390x ] | hello [!i386], - llvm-spirv-14 [ mips64el ] , spirv-tools [ linux-any ] | hello [ !i386], libcurl4-dev, libgrpc++-dev [amd64 arm64 armel armhf mips64el mipsel ppc64 ppc64el powerpc riscv64 s390x],