@@ -808,7 +808,7 @@ Library
808 , Version_idris
808 , Version_idris
810 Build-depends: base >=4 && <5
810 Build-depends: base >=4 && <5
811− , annotated-wl-pprint >= 0.5.3 && < 0.6
811+ , annotated-wl-pprint >= 0.5.3 && < 0.7
812 , ansi-terminal < 0.7
812 , ansi-terminal < 0.7
813 , ansi-wl-pprint < 0.7
813 , ansi-wl-pprint < 0.7
814 , base64-bytestring < 1.1
814 , base64-bytestring < 1.1