# Debian patches
check_system_double-conversion.patch
