Author: Gábor Németh <homar@riseup.net>
Subject: Use Debian-provided SymFPU
Forwarded: not-needed

Debian packages SymFPU which we use as installed, substituting a dummy Meson dependency.
--- a/src/meson.build
+++ b/src/meson.build
@@ -53,7 +53,7 @@
 
 # Using system include type suppresses compile warnings originating from the
 # symfpu headers
-symfpu_dep = dependency('symfpu', include_type: 'system', required: true)
+symfpu_dep = declare_dependency()
 
 dependencies = [symfpu_dep, cadical_dep, cms_dep, kissat_dep, gmp_dep]
 
