Newer dependencies for Andreas Abel

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.

cabal-install-ghc74-0.10.4

array 0.5.8.0
Cabal 3.16.1.0
containers 0.8
directory 1.3.10.1
filepath 1.5.5.0
network 3.2.8.0
process 1.6.27.0
random 1.3.1
time 1.15
zlib 0.7.1.1

hs-tags-0.1.5.3

base 4.22.0.0
Cabal 3.16.1.0
containers 0.8
filepath 1.5.5.0
ghc 9.14.1
mtl 2.3.2
strict 0.5.1

Agda-executable-2.3.0.1

Agda 2.8.0

hackage-cli-0.1.0.4

containers 0.8
deepseq 1.6.0.0
time 1.15

microaeson-0.1.0.3

deepseq 1.6.0.0

github-0.30.0.2

deepseq 1.6.0.0
network-uri 2.7.0.0

MiniAgda-0.2025.7.23

haskell-src-exts 1.23.1

resolv-0.2.0.3

binary 0.10.0.0

View outdated dependency for all ancestor packages too.

Packages checked

  1. Agda-executable
  2. agda2lagda
  3. cabal-clean
  4. cabal-install-ghc74
  5. cpphs
  6. equivalence
  7. filelock
  8. fix-whitespace
  9. github
  10. goldplate
  11. hackage-cli
  12. haskell-src
  13. helf
  14. hs-tags
  15. HsYAML-aeson
  16. java-adt
  17. ListLike
  18. LR-demo
  19. microaeson
  20. MiniAgda
  21. MissingH
  22. murmur-hash
  23. newtype
  24. peano
  25. polyparse
  26. regex-base
  27. regex-compat
  28. regex-pcre
  29. regex-posix
  30. regex-tdfa
  31. resolv
  32. risc386
  33. shelly
  34. silently
  35. Sit
  36. STMonadTrans
  37. tasty-silver
  38. test-framework
  39. test-framework-hunit
  40. test-framework-quickcheck2
  41. tokenize
  42. visualize-type-inference
  43. xor