From 17b4cc3163a5d1ae5dc75e5357d698556d84fb0d Mon Sep 17 00:00:00 2001
From: Ruben Rodriguez <ruben@trisquel.info>
Date: Sat, 14 Apr 2018 00:02:06 -0400
Subject: [PATCH] gnome-orca: fix build dep

---
 helpers/make-gnome-orca | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/helpers/make-gnome-orca b/helpers/make-gnome-orca
index 5e841c9ac..41929963d 100644
--- a/helpers/make-gnome-orca
+++ b/helpers/make-gnome-orca
@@ -22,6 +22,8 @@ EXTERNAL='deb-src http://archive.ubuntu.com/ubuntu artful main'
 
 . ./config
 
+sed '/debhelper/s/10/9/' -i debian/control debian/control.in
+
 cat << EOF | patch -p1
 --- a/src/orca/orca.py     2015-11-09 09:07:53.000000000 -0500
 +++ b/src/orca/orca.py  2018-04-01 00:57:01.426307608 -0400
-- 
GitLab