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.

github-0.29

base-compat 0.14.0
network-uri 2.7.0.0

cabal-install-ghc74-0.10.4

array 0.5.7.0
Cabal 3.12.0.0
containers 0.7
directory 1.3.8.4
filepath 1.5.2.0
network 3.2.0.0
process 1.6.20.0
random 1.2.1.2
time 1.14
zlib 0.7.1.0

hs-tags-0.1.5.3

base 4.19.1.0
Cabal 3.12.0.0
containers 0.7
filepath 1.5.2.0
ghc 9.8.2
mtl 2.3.1
strict 0.5

hackage-cli-0.1.0.1

Cabal 3.12.0.0
filepath 1.5.2.0
time 1.14

fix-whitespace-0.1

filepath 1.5.2.0

goldplate-0.2.1.1

filepath 1.5.2.0

cabal-doctest-1.0.9

Cabal 3.12.0.0

Agda-executable-2.3.0.1

Agda 2.6.4.3

MiniAgda-0.2022.3.11

containers 0.7
haskell-src-exts 1.23.1

View outdated dependency for all ancestor packages too.

Packages checked

  1. Agda-executable
  2. agda2lagda
  3. cabal-clean
  4. cabal-doctest
  5. cabal-install-ghc74
  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. newtype
  23. peano
  24. regex-base
  25. regex-compat
  26. regex-pcre
  27. regex-posix
  28. regex-tdfa
  29. risc386
  30. shelly
  31. silently
  32. Sit
  33. STMonadTrans
  34. tasty-silver
  35. tokenize
  36. xor