Require pandoc-types 1.12.3.

This will enforce a certain JSON encoding.
This commit is contained in:
John MacFarlane
2013-10-15 22:53:03 -07:00
parent 0df7cce37d
commit f37fa15518
+3 -3
View File
@@ -242,7 +242,7 @@ Library
xml >= 1.3.12 && < 1.4,
random >= 1 && < 1.1,
extensible-exceptions >= 0.1 && < 0.2,
pandoc-types >= 1.12.2.2 && < 1.13,
pandoc-types >= 1.12.3 && < 1.13,
aeson >= 0.6 && < 0.7,
tagsoup >= 0.12.5 && < 0.14,
base64-bytestring >= 0.1 && < 1.1,
@@ -334,7 +334,7 @@ Library
Executable pandoc
Build-Depends: pandoc,
pandoc-types >= 1.12.2.2 && < 1.13,
pandoc-types >= 1.12.3 && < 1.13,
base >= 4.2 && <5,
directory >= 1 && < 1.3,
filepath >= 1.1 && < 1.4,
@@ -380,7 +380,7 @@ Test-Suite test-pandoc
Build-Depends: base >= 4.2 && < 5,
syb >= 0.1 && < 0.5,
pandoc,
pandoc-types >= 1.12.2.2 && < 1.13,
pandoc-types >= 1.12.3 && < 1.13,
bytestring >= 0.9 && < 0.11,
text >= 0.11 && < 0.12,
directory >= 1 && < 1.3,