Newer dependencies for idris

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.

idris-1.3.4

cheapskate-0.1.1.2

semigroups-0.20

ghci-8.10.2

doctest-0.22.2

string-interpolate-0.3.3.0

network-uri-2.7.0.0

hedgehog-1.4

nats-1.1.2

terminfo-0.4.1.6

haskeline-0.8.2.1

semaphore-compat-1.0.0

wherefrom-compat-0.1.1.0

unliftio-core-0.2.1.0

tasty-hedgehog-1.4.0.2

ChasingBottoms-1.3.1.14

binary-0.10.0.0

text-2.1.1

deepseq-1.5.0.0

splitmix-0.1.0.5

prettyprinter-1.7.1

prettyprinter-ansi-terminal-1.1.3

unix-compat-0.7.1

unix-2.8.5.1

directory-1.3.8.4

Win32-2.14.0.0

doctest-parallel-0.3.1.1

ghc-boot-9.10.1

ghc-9.10.1

ghc-prim-0.11.0

blaze-markup-0.8.3.0

blaze-html-0.9.2.0

selective-0.7.0.1

data-clist-0.2

indexed-traversable-instances-0.1.2

vector-algorithms-0.9.0.1

uuid-types-1.0.6

colour-2.3.6

primitive-0.9.0.0

optparse-applicative-0.18.1.0

attoparsec-0.14.4

test-framework-0.8.2.0

test-framework-quickcheck2-0.3.0.5

vector-0.13.1.0

dlist-1.0

integer-logarithms-1.0.3.1

filepath-1.5.2.0

rebase-1.20.2

attoparsec-iso8601-1.1.1.0

text-iso8601-0.1.1

aeson-2.2.2.0

time-compat-1.9.7

nothunks-0.2.1.0

random-1.2.1.2

bitvec-1.1.5.0

terminal-size-0.3.4

mwc-random-0.15.0.2

keys-3.12.3

ghc-bignum-1.3

semirings-0.6

monad-peel-0.3

blaze-builder-0.4.2.3

binary-orphans-1.0.5

text-short-0.1.6

strict-0.5

these-1.2.1

constraints-0.14.2

Cabal-syntax-3.12.0.0

scientific-0.3.8.0

Packages checked