diff -Nru gringo-5.3.0/debian/changelog gringo-5.3.0/debian/changelog
--- gringo-5.3.0/debian/changelog	2019-03-02 07:49:10.000000000 +0000
+++ gringo-5.3.0/debian/changelog	2019-03-14 17:34:56.000000000 +0000
@@ -1,3 +1,10 @@
+gringo (5.3.0-10+rpi1) buster-staging; urgency=medium
+
+  * Use libatomic on armhf too.
+  * Update symbols for raspbian.
+
+ -- Peter Michael Green <plugwash@raspbian.org>  Thu, 14 Mar 2019 17:34:56 +0000
+
 gringo (5.3.0-10) unstable; urgency=medium
 
   * Fix FTBFS on buster.
diff -Nru gringo-5.3.0/debian/rules gringo-5.3.0/debian/rules
--- gringo-5.3.0/debian/rules	2018-11-04 07:23:40.000000000 +0000
+++ gringo-5.3.0/debian/rules	2019-03-14 17:34:56.000000000 +0000
@@ -9,7 +9,7 @@
 # sh4, see also
 # https://gcc.gnu.org/wiki/Atomic
 # https://gcc.gnu.org/wiki/Atomic/GCCMM/LIbrary
-arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep -x "(armel|powerpc|powerpcspe|m68k|mips|mipsel|sh4)")
+arch = $(shell dpkg-architecture -qDEB_BUILD_ARCH | egrep -x "(armhf|armel|powerpc|powerpcspe|m68k|mips|mipsel|sh4)")
 
 # use custom hardening config flags for compiling clasp
 CONFIG=hardening
diff -Nru gringo-5.3.0/debian/symbols gringo-5.3.0/debian/symbols
--- gringo-5.3.0/debian/symbols	2019-03-02 06:49:27.000000000 +0000
+++ gringo-5.3.0/debian/symbols	2019-03-14 17:34:56.000000000 +0000
@@ -182,26 +182,26 @@
  _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 1
  _ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 1
  (arch=armel riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
  (arch=armel riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
  (arch=armel armhf)_ZTISt19_Sp_make_shared_tag@Base 5.3.0-5~
  (arch=armel riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
  (arch=armel riscv64)_ZTSN9__gnu_cxx7__mutexE@Base 1
  _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 1
  _ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 1
  (arch=armel riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
  (arch=armel riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
  _ZTSSt19_Sp_make_shared_tag@Base 1
  (arch=armel riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
  _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base 1
  _ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base 1
  (arch=armel riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel !riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (optional=notarmelnotriscvandprobabllynotraspbian)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base 1
  _ZZNSt19_Sp_make_shared_tag5_S_tiEvE5__tag@Base 5.3.0-5~
  clingo_add_string@Base 1
  clingo_assignment_decision@Base 1