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

attoparsec-iso8601-1.1.1.0

time 1.15

text-iso8601-0.1.1

QuickCheck 2.16.0.0
time 1.15

aeson-2.2.3.0

containers 0.8
deepseq 1.6.0.0
network-uri 2.7.0.0
nothunks 0.3.1
time 1.15

time-compat-1.9.8

deepseq 1.6.0.0
QuickCheck 2.16.0.0
random 1.3.1
time 1.15

hedgehog-1.5

deepseq 1.6.0.0
time 1.15

nothunks-0.3.1

time 1.15

test-framework-0.8.2.2

time 1.15

Cabal-syntax-3.16.0.0

binary 0.10.0.0
time 1.15

Cabal-3.16.0.0

time 1.15

hpc-0.7.0.2

base 4.21.0.0
containers 0.8
deepseq 1.6.0.0
time 1.15

ghc-9.12.2

binary 0.10.0.0
Cabal 3.16.0.0
containers 0.8
deepseq 1.6.0.0
ghc-boot 9.12.1
ghc-boot-th 9.10.2
ghc-heap 9.12.1
ghci 8.10.2
time 1.15

tasty-bench-0.4.1

deepseq 1.6.0.0
time 1.15

random-1.3.1

containers 0.8
time 1.15

directory-1.3.9.0

filepath 1.5.4.0
time 1.15

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

doctest-parallel-0.4

Cabal 3.16.0.0

ghc-paths-0.1.0.12

Cabal 3.16.0.0

ghc-boot-9.12.1

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

ghc-prim-0.13.0

Cabal 3.16.0.0

file-io-0.1.5

filepath 1.5.4.0

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

Win32-2.14.2.1

filepath 1.5.4.0

process-1.6.26.1

deepseq 1.6.0.0
filepath 1.5.4.0

text-2.1.3

base 4.21.0.0
binary 0.10.0.0
deepseq 1.6.0.0
splitmix 0.1.3.1

mwc-random-0.15.2.0

doctest 0.24.2

vector-0.13.2.0

deepseq 1.6.0.0
doctest 0.24.2
QuickCheck 2.16.0.0

fgl-5.8.3.0

deepseq 1.6.0.0
QuickCheck 2.16.0.0

binary-orphans-1.0.5

binary 0.10.0.0
QuickCheck 2.16.0.0

integer-conversion-0.1.1

QuickCheck 2.16.0.0

indexed-traversable-instances-0.1.2

QuickCheck 2.16.0.0

uuid-types-1.0.6

binary 0.10.0.0
deepseq 1.6.0.0
QuickCheck 2.16.0.0

integer-logarithms-1.0.4

QuickCheck 2.16.0.0

attoparsec-0.14.4

bytestring 0.12.2.0
QuickCheck 2.16.0.0

vector-algorithms-0.9.1.0

QuickCheck 2.16.0.0

os-string-2.0.8

QuickCheck 2.16.0.0

primitive-0.9.1.0

deepseq 1.6.0.0
QuickCheck 2.16.0.0

colour-2.3.6

QuickCheck 2.16.0.0
random 1.3.1

optparse-applicative-0.19.0.0

QuickCheck 2.16.0.0

template-haskell-2.23.0.0

ghc-boot-th 9.10.2

monad-peel-0.3

transformers 0.6.2.0

hashable-1.5.0.0

containers 0.8
deepseq 1.6.0.0
random 1.3.1

foldl-1.4.18

containers 0.8

megaparsec-9.7.0

containers 0.8
deepseq 1.6.0.0

ghc-exactprint-1.12.0.0

containers 0.8

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

splitmix-0.1.3.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.33

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

ghc-heap-9.12.1

containers 0.8

indexed-traversable-0.1.4

containers 0.8

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

ghc-boot-th-9.10.2

base 4.21.0.0

deepseq-1.6.0.0

base 4.21.0.0

prettyprinter-1.7.1

base-compat 0.14.1

prettyprinter-ansi-terminal-1.1.3

base-compat 0.14.1

Only-0.1

deepseq 1.6.0.0

cassava-0.5.4.0

deepseq 1.6.0.0

dlist-1.0

deepseq 1.6.0.0

text-short-0.1.6

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

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

these-1.2.1

binary 0.10.0.0
deepseq 1.6.0.0

containers-0.8

deepseq 1.6.0.0

tagged-0.8.9

deepseq 1.6.0.0

data-array-byte-0.1.0.1

deepseq 1.6.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. extra
  62. fail
  63. fgl
  64. file-io
  65. filepath
  66. foldl
  67. foundation
  68. free
  69. gauge
  70. generic-deriving
  71. generic-random
  72. generically
  73. ghc
  74. ghc-bignum
  75. ghc-boot
  76. ghc-boot-th
  77. ghc-exactprint
  78. ghc-heap
  79. ghc-internal
  80. ghc-paths
  81. ghc-prim
  82. ghci
  83. Glob
  84. hashable
  85. hashmap
  86. haskell-lexer
  87. haskell-src-exts
  88. hedgehog
  89. hostname
  90. hpc
  91. hspec
  92. hspec-core
  93. hspec-discover
  94. hspec-expectations
  95. hspec-meta
  96. hspec-smallcheck
  97. http-types
  98. HUnit
  99. ieee754
  100. indexed-traversable
  101. indexed-traversable-instances
  102. inspection-testing
  103. integer-conversion
  104. integer-gmp
  105. integer-logarithms
  106. intern
  107. js-chart
  108. lifted-async
  109. lifted-base
  110. liquid-fixpoint
  111. logging-facade
  112. logict
  113. math-functions
  114. megaparsec
  115. mersenne-random
  116. microbench
  117. microstache
  118. mmorph
  119. mockery
  120. monad-control
  121. monad-loops
  122. monad-peel
  123. mono-traversable
  124. mtl
  125. mwc-random
  126. nanospec
  127. nats
  128. network
  129. network-uri
  130. nothunks
  131. old-locale
  132. old-time
  133. OneTuple
  134. Only
  135. optparse-applicative
  136. os-string
  137. parallel
  138. parsec
  139. parser-combinators
  140. pgp-wordlist
  141. pretty
  142. pretty-show
  143. prettyprinter
  144. prettyprinter-ansi-terminal
  145. prettyprinter-compat-ansi-wl-pprint
  146. primitive
  147. primitive-addr
  148. process
  149. profunctors
  150. QuickCheck
  151. quickcheck-classes
  152. quickcheck-classes-base
  153. quickcheck-instances
  154. quickcheck-io
  155. quickcheck-unicode
  156. random
  157. rdtsc
  158. regex-base
  159. regex-posix
  160. regex-posix-clib
  161. regex-tdfa
  162. resourcet
  163. rest-rewrite
  164. safe
  165. safe-exceptions
  166. scientific
  167. semaphore-compat
  168. semialign
  169. semigroupoids
  170. semigroups
  171. semirings
  172. setenv
  173. SHA
  174. silently
  175. smallcheck
  176. split
  177. splitmix
  178. StateVar
  179. statistics
  180. stm
  181. store
  182. store-core
  183. strict
  184. stringbuilder
  185. syb
  186. tagged
  187. tasty
  188. tasty-ant-xml
  189. tasty-bench
  190. tasty-expected-failure
  191. tasty-golden
  192. tasty-hedgehog
  193. tasty-hunit
  194. tasty-inspection-testing
  195. tasty-papi
  196. tasty-quickcheck
  197. tasty-rerun
  198. tasty-smallcheck
  199. tasty-th
  200. template-haskell
  201. temporary
  202. test-framework
  203. test-framework-hunit
  204. test-framework-quickcheck2
  205. text
  206. text-iso8601
  207. text-short
  208. tf-random
  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