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.0.0
containers 0.8
directory 1.3.9.0
filepath 1.5.4.0
network 3.2.8.0
process 1.6.26.1
random 1.3.1
time 1.15
zlib 0.7.1.1

MissingH-1.6.0.2

time 1.15

test-framework-0.8.2.2

time 1.15

hackage-cli-0.1.0.4

containers 0.8
deepseq 1.6.0.0
time 1.15

hs-tags-0.1.5.3

base 4.21.0.0
Cabal 3.16.0.0
containers 0.8
filepath 1.5.4.0
ghc 9.12.2
mtl 2.3.1
strict 0.5.1

Agda-executable-2.3.0.1

Agda 2.8.0

microaeson-0.1.0.3

deepseq 1.6.0.0

github-0.30.0.1

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. ini
  17. java-adt
  18. ListLike
  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-quickcheck2
  40. tokenize
  41. xor