Newer dependencies for liquid-fixpoint

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.

liquid-fixpoint-8.10.7

megaparsec 9.8.1
rest-rewrite 0.4.5

text-iso8601-0.2.0.0

tasty-bench 0.5.1
time 1.16

lifted-async-0.11.0

tasty-bench 0.5.1

microstache-1.0.3.1

aeson 2.3.0.0
deepseq 1.6.0.0

ghc-boot-9.14.1

binary 0.10.0.0
Cabal 3.16.1.0
deepseq 1.6.0.0

ghc-9.14.1

binary 0.10.0.0
Cabal 3.16.1.0
deepseq 1.6.0.0
ghci 8.10.2
time 1.16

ghc-prim-0.13.0

Cabal 3.16.1.0

mwc-random-0.15.3.0

doctest 0.25.0

rest-rewrite-0.4.5

QuickCheck 2.18.0.0
time 1.16

attoparsec-iso8601-1.1.1.0

time 1.16

aeson-2.3.0.0

deepseq 1.6.0.0
network-uri 2.7.0.0
time 1.16

time-compat-1.9.9

deepseq 1.6.0.0
QuickCheck 2.18.0.0
time 1.16

hedgehog-1.7

deepseq 1.6.0.0
time 1.16

nothunks-0.3.1

hedgehog 1.7
time 1.16

hpc-0.7.0.2

base 4.22.0.0
containers 0.8
deepseq 1.6.0.0
time 1.16

random-1.3.1

containers 0.8
time 1.16

cassava-0.5.5.0

base 4.22.0.0
deepseq 1.6.0.0
quickcheck-instances 0.4

fgl-5.8.3.1

deepseq 1.6.0.0
QuickCheck 2.18.0.0

integer-conversion-0.1.1

QuickCheck 2.18.0.0

ChasingBottoms-1.3.1.17

QuickCheck 2.18.0.0

integer-logarithms-1.0.5

QuickCheck 2.18.0.0

text-2.1.4

base 4.22.0.0
binary 0.10.0.0
deepseq 1.6.0.0
QuickCheck 2.18.0.0

primitive-0.9.1.0

deepseq 1.6.0.0
QuickCheck 2.18.0.0

attoparsec-0.14.4

bytestring 0.12.2.0
QuickCheck 2.18.0.0

optparse-applicative-0.19.0.0

QuickCheck 2.18.0.0

bytestring-0.12.2.0

QuickCheck 2.18.0.0

colour-2.3.7

QuickCheck 2.18.0.0
random 1.3.1

ghci-8.10.2

base 4.22.0.0
binary 0.10.0.0
bytestring 0.12.2.0
containers 0.8
deepseq 1.6.0.0
filepath 1.5.5.0
ghc-boot 9.14.1
ghc-boot-th 9.14.1
ghc-heap 9.14.1
template-haskell 2.24.0.0
transformers 0.6.3.0

monad-peel-0.3

transformers 0.6.3.0

file-io-0.2.0

filepath 1.5.5.0

Win32-2.14.2.2

filepath 1.5.5.0

process-1.6.30.0

deepseq 1.6.0.0
filepath 1.5.5.0

prettyprinter-1.7.2

base-compat 0.15.0

prettyprinter-ansi-terminal-1.1.4

base-compat 0.15.0

monad-control-1.0.3.1

transformers-compat 0.8

nats-1.1.2

binary 0.10.0.0
hashable 1.5.1.0
template-haskell 2.24.0.0

network-uri-2.7.0.0

deepseq 1.6.0.0
template-haskell 2.24.0.0

pgp-wordlist-0.1.0.3

base 4.22.0.0

stm-2.5.3.1

base 4.22.0.0

binary-0.10.0.0

base 4.22.0.0

array-0.5.8.0

base 4.22.0.0

deepseq-1.6.0.0

base 4.22.0.0

ghc-bignum-1.3

ghc-prim 0.13.0

transformers-0.6.3.0

ghc-prim 0.13.0

megaparsec-9.8.1

deepseq 1.6.0.0

parallel-3.3.0.0

deepseq 1.6.0.0

bitvec-1.1.6.0

deepseq 1.6.0.0

Only-0.1

deepseq 1.6.0.0

dlist-1.0

deepseq 1.6.0.0

text-short-0.1.6.1

binary 0.10.0.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

constraints-0.14.4

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

scientific-0.3.8.1

binary 0.10.0.0
deepseq 1.6.0.0

uuid-types-1.0.6.1

binary 0.10.0.0
deepseq 1.6.0.0

hashable-1.5.1.0

deepseq 1.6.0.0

these-1.2.1

binary 0.10.0.0
deepseq 1.6.0.0

splitmix-0.1.3.2

deepseq 1.6.0.0

tasty-bench-0.5.1

deepseq 1.6.0.0

tagged-0.8.10

deepseq 1.6.0.0

vector-0.13.2.0

deepseq 1.6.0.0

containers-0.8

deepseq 1.6.0.0

binary-orphans-1.0.6

binary 0.10.0.0

Cabal-syntax-3.16.1.0

binary 0.10.0.0

Packages checked

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