From 8fb475b71ad4c158bda407336e22166beaa3d122 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Tue, 16 Jul 2019 13:21:11 +0200
Subject: [PATCH] stretch: get old pdf.js version (#34897)

---
 stretch/preferences.d/entrouvert-debian-backports | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/stretch/preferences.d/entrouvert-debian-backports b/stretch/preferences.d/entrouvert-debian-backports
index e6f9927..ee2c8dd 100644
--- a/stretch/preferences.d/entrouvert-debian-backports
+++ b/stretch/preferences.d/entrouvert-debian-backports
@@ -133,3 +133,14 @@ Pin-Priority: 900
 Package: prometheus*
 Pin: release a=stretch-backports
 Pin-Priority: 900
+
+#
+# libjs-pdf, *old* version
+#
+Package: libjs-pdf
+Pin: release o=Entr'ouvert,n=stretch
+Pin-Priority: 900
+
+Package: pdf.js-common
+Pin: release o=Entr'ouvert,n=stretch
+Pin-Priority: 900