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.7.0
rest-rewrite 0.4.5

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

monad-peel-0.3

transformers 0.6.2.0

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

rest-rewrite-0.4.5

containers 0.8
QuickCheck 2.15.0.1

fgl-5.8.3.0

deepseq 1.6.0.0
QuickCheck 2.15.0.1

optparse-applicative-0.18.1.0

QuickCheck 2.15.0.1

foldl-1.4.18

containers 0.8

megaparsec-9.7.0

containers 0.8
deepseq 1.6.0.0

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.2.0

filepath 1.5.4.0

process-1.6.26.1

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

binary-orphans-1.0.5

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-heap
  77. ghc-internal
  78. ghc-paths
  79. ghc-prim
  80. ghci
  81. Glob
  82. hashable
  83. hashmap
  84. haskell-lexer
  85. haskell-src-exts
  86. hedgehog
  87. hostname
  88. hpc
  89. hspec
  90. hspec-core
  91. hspec-discover
  92. hspec-expectations
  93. hspec-meta
  94. hspec-smallcheck
  95. http-types
  96. HUnit
  97. ieee754
  98. indexed-traversable
  99. indexed-traversable-instances
  100. inspection-testing
  101. integer-conversion
  102. integer-gmp
  103. integer-logarithms
  104. intern
  105. js-chart
  106. lifted-async
  107. lifted-base
  108. liquid-fixpoint
  109. logging-facade
  110. logict
  111. math-functions
  112. megaparsec
  113. mersenne-random
  114. microbench
  115. microstache
  116. mmorph
  117. mockery
  118. monad-control
  119. monad-loops
  120. monad-peel
  121. mono-traversable
  122. mtl
  123. mwc-random
  124. nanospec
  125. nats
  126. network
  127. network-uri
  128. nothunks
  129. old-locale
  130. old-time
  131. OneTuple
  132. Only
  133. optparse-applicative
  134. os-string
  135. parallel
  136. parsec
  137. parser-combinators
  138. pgp-wordlist
  139. pretty
  140. pretty-show
  141. prettyprinter
  142. prettyprinter-ansi-terminal
  143. prettyprinter-compat-ansi-wl-pprint
  144. primitive
  145. primitive-addr
  146. process
  147. profunctors
  148. QuickCheck
  149. quickcheck-classes
  150. quickcheck-classes-base
  151. quickcheck-instances
  152. quickcheck-io
  153. quickcheck-unicode
  154. random
  155. rdtsc
  156. regex-base
  157. regex-posix
  158. regex-posix-clib
  159. regex-tdfa
  160. resourcet
  161. rest-rewrite
  162. safe
  163. safe-exceptions
  164. scientific
  165. semaphore-compat
  166. semialign
  167. semigroupoids
  168. semigroups
  169. semirings
  170. setenv
  171. SHA
  172. silently
  173. smallcheck
  174. split
  175. splitmix
  176. StateVar
  177. statistics
  178. stm
  179. store
  180. store-core
  181. strict
  182. stringbuilder
  183. syb
  184. tagged
  185. tasty
  186. tasty-ant-xml
  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-rerun
  196. tasty-smallcheck
  197. tasty-th
  198. template-haskell
  199. temporary
  200. test-framework
  201. test-framework-hunit
  202. test-framework-quickcheck2
  203. text
  204. text-iso8601
  205. text-short
  206. tf-random
  207. th-abstraction
  208. th-compat
  209. th-expand-syns
  210. th-lift
  211. th-lift-instances
  212. th-orphans
  213. th-reify-many
  214. th-utilities
  215. these
  216. time
  217. time-compat
  218. transformers
  219. transformers-base
  220. transformers-compat
  221. typed-process
  222. unbounded-delays
  223. unliftio-core
  224. unordered-containers
  225. utf8-string
  226. uuid-types
  227. vector
  228. vector-algorithms
  229. vector-binary-instances
  230. vector-stream
  231. vector-th-unbox
  232. void
  233. weigh
  234. wherefrom-compat
  235. Win32
  236. witherable
  237. wl-pprint-annotated
  238. xml
  239. zlib
  240. zlib-clib