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.

rest-rewrite-0.4.3

containers 0.7
time 1.14

attoparsec-iso8601-1.1.0.1

time 1.14

text-iso8601-0.1

time 1.14

aeson-2.2.1.0

containers 0.7
Diff 0.5
network-uri 2.7.0.0
nothunks 0.2.1.0
th-abstraction 0.7.0.0
time 1.14

time-compat-1.9.6.1

tasty 1.5
time 1.14

nothunks-0.2.1.0

time 1.14

Cabal-syntax-3.10.3.0

binary 0.10.0.0
time 1.14
Win32 2.14.0.0

Cabal-3.10.3.0

time 1.14

hpc-0.7.0.1

time 1.14

ghc-9.8.2

binary 0.10.0.0
Cabal 3.10.3.0
containers 0.7
filepath 1.5.2.0
ghc-boot 9.8.1
ghc-heap 9.8.1
ghci 8.10.2
time 1.14
Win32 2.14.0.0

test-framework-0.8.2.0

time 1.14

random-1.2.1.2

containers 0.7
primitive 0.9.0.0
time 1.14

ghc-boot-9.8.1

binary 0.10.0.0
Cabal 3.10.3.0
containers 0.7
filepath 1.5.2.0

ghc-prim-0.11.0

Cabal 3.10.3.0

quickcheck-classes-0.6.5.0

primitive 0.9.0.0

bitvec-1.1.5.0

containers 0.7
primitive 0.9.0.0

ghci-8.10.2

base 4.19.1.0
binary 0.10.0.0
bytestring 0.12.1.0
containers 0.7
deepseq 1.5.0.0
filepath 1.5.2.0
ghc-boot 9.8.1
ghc-boot-th 9.8.1
ghc-heap 9.8.1
template-haskell 2.21.0.0
transformers 0.6.1.1

binary-0.10.0.0

base 4.19.1.0

text-2.1.1

base 4.19.1.0
binary 0.10.0.0

attoparsec-0.14.4

bytestring 0.12.1.0

semigroups-0.20

containers 0.7
deepseq 1.5.0.0
template-haskell 2.21.0.0
text 2.1.1

indexed-traversable-instances-0.1.1.2

tasty 1.5

colour-2.3.6

random 1.2.1.2

liquid-fixpoint-8.10.7

megaparsec 9.6.1
rest-rewrite 0.4.3

microstache-1.0.2.3

containers 0.7
filepath 1.5.2.0

directory-1.3.8.4

filepath 1.5.2.0

Win32-2.14.0.0

filepath 1.5.2.0

prettyprinter-1.7.1

base-compat 0.13.1

prettyprinter-ansi-terminal-1.1.3

base-compat 0.13.1

mwc-random-0.15.0.2

doctest 0.22.2

cassava-0.5.3.0

ghc-prim 0.11.0

ghc-bignum-1.3

ghc-prim 0.11.0

network-uri-2.7.0.0

deepseq 1.5.0.0
template-haskell 2.21.0.0

nats-1.1.2

binary 0.10.0.0
template-haskell 2.21.0.0

semialign-1.3

containers 0.7

witherable-0.4.2

containers 0.7

semirings-0.6

containers 0.7

indexed-traversable-0.1.3

containers 0.7

hedgehog-1.4

containers 0.7

scientific-0.3.7.0

binary 0.10.0.0
containers 0.7

quickcheck-instances-0.3.30

containers 0.7

monad-peel-0.3

transformers 0.6.1.1

binary-orphans-1.0.4.1

binary 0.10.0.0

text-short-0.1.5

binary 0.10.0.0

uuid-types-1.0.5.1

binary 0.10.0.0

strict-0.5

binary 0.10.0.0

these-1.2

binary 0.10.0.0

constraints-0.14

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. ChasingBottoms
  33. clock
  34. cmdargs
  35. code-page
  36. colour
  37. comonad
  38. concurrent-output
  39. constraints
  40. containers
  41. contravariant
  42. criterion
  43. criterion-measurement
  44. cryptohash-sha1
  45. data-array-byte
  46. data-default
  47. data-default-class
  48. data-default-instances-containers
  49. data-default-instances-dlist
  50. data-default-instances-old-locale
  51. data-fix
  52. deepseq
  53. dense-linear-algebra
  54. Diff
  55. directory
  56. distributive
  57. dlist
  58. doctest
  59. erf
  60. exceptions
  61. extensible-exceptions
  62. fail
  63. fgl
  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-paths
  78. ghc-prim
  79. ghci
  80. Glob
  81. hashable
  82. hashmap
  83. haskell-lexer
  84. haskell-src-exts
  85. hedgehog
  86. hostname
  87. hpc
  88. hspec
  89. hspec-core
  90. hspec-discover
  91. hspec-expectations
  92. hspec-meta
  93. hspec-smallcheck
  94. http-types
  95. HUnit
  96. ieee754
  97. indexed-traversable
  98. indexed-traversable-instances
  99. inspection-testing
  100. integer-conversion
  101. integer-gmp
  102. integer-logarithms
  103. intern
  104. js-chart
  105. libxml
  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. pcre-light
  139. pgp-wordlist
  140. pretty
  141. pretty-show
  142. prettyprinter
  143. prettyprinter-ansi-terminal
  144. prettyprinter-compat-ansi-wl-pprint
  145. primitive
  146. primitive-addr
  147. process
  148. profunctors
  149. QuickCheck
  150. quickcheck-classes
  151. quickcheck-classes-base
  152. quickcheck-instances
  153. quickcheck-io
  154. quickcheck-unicode
  155. random
  156. rdtsc
  157. regex-base
  158. regex-posix
  159. regex-posix-clib
  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-quickcheck
  194. tasty-rerun
  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. th-compat
  208. th-expand-syns
  209. th-lift
  210. th-lift-instances
  211. th-orphans
  212. th-reify-many
  213. th-utilities
  214. these
  215. time
  216. time-compat
  217. transformers
  218. transformers-base
  219. transformers-compat
  220. type-equality
  221. typed-process
  222. unbounded-delays
  223. unliftio
  224. unliftio-core
  225. unordered-containers
  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