Match the version used in jessie-ghc710. This is slightly newer
than the system version Debian ship with Jessie -- 0.37 -- but won't
cause any problems.

Signed-off-by: Brian Foley <[email protected]>
---
 devel/build_chroot | 1 +
 1 file changed, 1 insertion(+)

diff --git a/devel/build_chroot b/devel/build_chroot
index 9339752..1cc640d 100755
--- a/devel/build_chroot
+++ b/devel/build_chroot
@@ -628,6 +628,7 @@ case ${DIST_RELEASE}${VARIANT} in
         temporary==1.2.0.3 \
         vector==0.10.12.3 \
         zlib==0.5.4.2 \
+        utf8-string-0.3.8 \
         \
         hlint==1.9.20 \
         HUnit==1.2.5.2 \
-- 
2.7.0.rc3.207.g0ac5344

Reply via email to