Newer dependencies for expressions-z3

The following are the packages which have restrictive upper bounds. You can also view this information as a news feed so you can get automatic updates in your feed reader of choice.

ghci-8.10.2

base 4.21.0.0
binary 0.10.0.0
bytestring 0.12.2.0
containers 0.8
deepseq 1.6.0.0
filepath 1.5.4.0
ghc-boot 9.12.1
ghc-boot-th 9.10.2
ghc-heap 9.12.1
template-haskell 2.23.0.0
transformers 0.6.2.0

ghc-boot-9.12.1

binary 0.10.0.0
Cabal 3.14.2.0
containers 0.8
deepseq 1.6.0.0
ghc-boot-th 9.10.2

ghc-9.12.1

binary 0.10.0.0
Cabal 3.14.2.0
containers 0.8
deepseq 1.6.0.0
ghc-boot-th 9.10.2
ghci 8.10.2

template-haskell-2.23.0.0

ghc-boot-th 9.10.2

doctest-parallel-0.3.1.1

Cabal 3.14.2.0

ghc-prim-0.13.0

Cabal 3.14.2.0

expressions-0.5

attoparsec 0.14.4
base 4.21.0.0
containers 0.8
free 5.2
lattices 2.2.1
singletons 3.0.4
text 2.1.2
transformers 0.6.2.0

monad-peel-0.3

transformers 0.6.2.0

expressions-z3-0.5

base 4.21.0.0
containers 0.8
singletons 3.0.4
transformers 0.6.2.0
z3 408.2

time-compat-1.9.8

deepseq 1.6.0.0
random 1.3.1

nothunks-0.3.0.0

containers 0.8
hedgehog 1.5
random 1.3.1
wherefrom-compat 0.2.0.0

hashable-1.5.0.0

containers 0.8
deepseq 1.6.0.0
random 1.3.1

colour-2.3.6

QuickCheck 2.15.0.1
random 1.3.1

optparse-applicative-0.18.1.0

QuickCheck 2.15.0.1

foldl-1.4.18

containers 0.8

universe-reverse-instances-1.1.2

containers 0.8

universe-base-1.1.4

containers 0.8

lattices-2.2.1

containers 0.8
deepseq 1.6.0.0
tasty-quickcheck 0.11.1

parallel-3.2.2.0

containers 0.8
deepseq 1.6.0.0

microstache-1.0.3

containers 0.8
deepseq 1.6.0.0

witherable-0.5

containers 0.8

semialign-1.3.1

containers 0.8

aeson-2.2.3.0

containers 0.8
deepseq 1.6.0.0
network-uri 2.7.0.0
nothunks 0.3.0.0

ChasingBottoms-1.3.1.15

containers 0.8

splitmix-0.1.1

containers 0.8
deepseq 1.6.0.0

scientific-0.3.8.0

binary 0.10.0.0
containers 0.8
deepseq 1.6.0.0

quickcheck-instances-0.3.32

containers 0.8

bitvec-1.1.5.0

containers 0.8
deepseq 1.6.0.0

data-default-0.8.0.1

containers 0.8

indexed-traversable-0.1.4

containers 0.8

Cabal-syntax-3.14.2.0

binary 0.10.0.0
containers 0.8
deepseq 1.6.0.0

Cabal-3.14.2.0

containers 0.8
deepseq 1.6.0.0

ghc-heap-9.12.1

containers 0.8

hpc-0.7.0.2

base 4.21.0.0
containers 0.8
deepseq 1.6.0.0

semigroups-0.20

containers 0.8
deepseq 1.6.0.0
hashable 1.5.0.0
template-haskell 2.23.0.0
text 2.1.2

random-1.3.1

containers 0.8
time 1.14

statistics-0.16.3.0

doctest 0.24.0

mwc-random-0.15.2.0

doctest 0.24.0

vector-0.13.2.0

deepseq 1.6.0.0
doctest 0.24.0

data-array-byte-0.1.0.1

deepseq 1.6.0.0
tasty-quickcheck 0.11.1

nats-1.1.2

binary 0.10.0.0
hashable 1.5.0.0
template-haskell 2.23.0.0

transformers-0.6.2.0

ghc-prim 0.13.0

ghc-bignum-1.3

ghc-prim 0.13.0

network-uri-2.7.0.0

deepseq 1.6.0.0
template-haskell 2.23.0.0

binary-0.10.0.0

base 4.21.0.0

stm-2.5.3.1

base 4.21.0.0

text-2.1.2

base 4.21.0.0
binary 0.10.0.0
deepseq 1.6.0.0

ghc-boot-th-9.10.2

base 4.21.0.0

deepseq-1.6.0.0

base 4.21.0.0

attoparsec-0.14.4

bytestring 0.12.2.0

prettyprinter-1.7.1

base-compat 0.14.1

prettyprinter-ansi-terminal-1.1.3

base-compat 0.14.1

file-io-0.1.5

filepath 1.5.4.0

Win32-2.14.1.0

filepath 1.5.4.0

process-1.6.26.0

deepseq 1.6.0.0
filepath 1.5.4.0

directory-1.3.9.0

filepath 1.5.4.0

Only-0.1

deepseq 1.6.0.0

cassava-0.5.3.2

deepseq 1.6.0.0

dlist-1.0

deepseq 1.6.0.0

wl-pprint-annotated-0.1.0.1

deepseq 1.6.0.0

safe-exceptions-0.1.7.4

deepseq 1.6.0.0

text-short-0.1.6

binary 0.10.0.0
deepseq 1.6.0.0

data-fix-0.3.4

deepseq 1.6.0.0

strict-0.5.1

binary 0.10.0.0
deepseq 1.6.0.0

uuid-types-1.0.6

binary 0.10.0.0
deepseq 1.6.0.0

these-1.2.1

binary 0.10.0.0
deepseq 1.6.0.0

constraints-0.14.2

binary 0.10.0.0
deepseq 1.6.0.0

hedgehog-1.5

deepseq 1.6.0.0

tasty-bench-0.4.1

deepseq 1.6.0.0
time 1.14

tagged-0.8.9

deepseq 1.6.0.0

primitive-0.9.1.0

deepseq 1.6.0.0

containers-0.8

deepseq 1.6.0.0

cpphs-1.20.9.1

time 1.14

blaze-builder-0.4.2.3

semigroups 0.20

binary-orphans-1.0.5

binary 0.10.0.0

Packages checked

  1. aeson
  2. aeson-pretty
  3. ansi-terminal
  4. ansi-terminal-types
  5. ansi-wl-pprint
  6. array
  7. assoc
  8. async
  9. attoparsec
  10. attoparsec-aeson
  11. attoparsec-iso8601
  12. barbies
  13. base
  14. base-compat
  15. base-compat-batteries
  16. base-orphans
  17. base-prelude
  18. base16-bytestring
  19. base64-bytestring
  20. basement
  21. bifunctors
  22. binary
  23. binary-orphans
  24. bitvec
  25. blaze-builder
  26. boring
  27. bytestring
  28. bytestring-builder
  29. Cabal
  30. Cabal-syntax
  31. call-stack
  32. case-insensitive
  33. cassava
  34. cereal
  35. character-ps
  36. ChasingBottoms
  37. cmdargs
  38. code-page
  39. colour
  40. comonad
  41. concurrent-output
  42. constraints
  43. containers
  44. contravariant
  45. cpphs
  46. criterion
  47. criterion-measurement
  48. data-array-byte
  49. data-default
  50. data-default-class
  51. data-fix
  52. deepseq
  53. dense-linear-algebra
  54. Diff
  55. directory
  56. distributive
  57. dlist
  58. doctest
  59. doctest-parallel
  60. erf
  61. exceptions
  62. expressions
  63. expressions-z3
  64. extensible-exceptions
  65. fail
  66. file-io
  67. filepath
  68. foldl
  69. foundation
  70. free
  71. gauge
  72. generic-deriving
  73. generic-random
  74. generically
  75. ghc
  76. ghc-bignum
  77. ghc-boot
  78. ghc-boot-th
  79. ghc-heap
  80. ghc-internal
  81. ghc-paths
  82. ghc-prim
  83. ghci
  84. Glob
  85. hashable
  86. hashmap
  87. haskell-lexer
  88. haskell-src
  89. haskell-src-exts
  90. hedgehog
  91. hostname
  92. hpc
  93. hspec
  94. hspec-core
  95. hspec-discover
  96. hspec-expectations
  97. hspec-meta
  98. HTF
  99. http-types
  100. HUnit
  101. hxt
  102. hxt-charproperties
  103. hxt-regex-xmlschema
  104. hxt-unicode
  105. ieee754
  106. indexed-traversable
  107. indexed-traversable-instances
  108. inspection-testing
  109. integer-conversion
  110. integer-gmp
  111. integer-logarithms
  112. js-chart
  113. lattices
  114. lifted-async
  115. lifted-base
  116. list-t
  117. logging-facade
  118. logict
  119. math-functions
  120. mersenne-random
  121. microstache
  122. mmorph
  123. mockery
  124. monad-control
  125. monad-peel
  126. mtl
  127. mtl-prelude
  128. mwc-random
  129. nanospec
  130. nats
  131. network-uri
  132. nothunks
  133. old-locale
  134. old-time
  135. OneTuple
  136. Only
  137. optparse-applicative
  138. os-string
  139. parallel
  140. parsec
  141. pgp-wordlist
  142. polyparse
  143. pretty
  144. pretty-show
  145. prettyprinter
  146. prettyprinter-ansi-terminal
  147. prettyprinter-compat-ansi-wl-pprint
  148. primitive
  149. primitive-addr
  150. process
  151. profunctors
  152. QuickCheck
  153. quickcheck-classes
  154. quickcheck-classes-base
  155. quickcheck-instances
  156. quickcheck-io
  157. quickcheck-unicode
  158. random
  159. rdtsc
  160. regex-base
  161. regex-compat
  162. regex-posix
  163. regex-posix-clib
  164. regex-tdfa
  165. resourcet
  166. safe-exceptions
  167. scientific
  168. semaphore-compat
  169. semialign
  170. semigroupoids
  171. semigroups
  172. semirings
  173. setenv
  174. silently
  175. singletons
  176. smallcheck
  177. split
  178. splitmix
  179. StateVar
  180. statistics
  181. stm
  182. strict
  183. stringbuilder
  184. syb
  185. tagged
  186. tasty
  187. tasty-bench
  188. tasty-expected-failure
  189. tasty-golden
  190. tasty-hedgehog
  191. tasty-hunit
  192. tasty-inspection-testing
  193. tasty-papi
  194. tasty-quickcheck
  195. tasty-smallcheck
  196. tasty-th
  197. template-haskell
  198. temporary
  199. test-framework
  200. test-framework-hunit
  201. test-framework-quickcheck2
  202. text
  203. text-iso8601
  204. text-short
  205. tf-random
  206. th-abstraction
  207. these
  208. time
  209. time-compat
  210. transformers
  211. transformers-base
  212. transformers-compat
  213. typed-process
  214. unbounded-delays
  215. universe-base
  216. universe-reverse-instances
  217. unliftio-core
  218. unordered-containers
  219. utf8-string
  220. uuid-types
  221. vector
  222. vector-algorithms
  223. vector-binary-instances
  224. vector-stream
  225. vector-th-unbox
  226. void
  227. wherefrom-compat
  228. Win32
  229. witherable
  230. wl-pprint-annotated
  231. xml
  232. xmlgen
  233. z3
  234. zlib
  235. zlib-clib