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.

Agda-executable-2.3.0.1

Agda 2.8.0.2

goldplate-0.2.2.1

aeson 2.3.2.0
Diff 2.0.1

HsYAML-aeson-0.2.0.2

aeson 2.3.2.0

cabal-install-ghc74-0.10.4

array 0.5.8.0
Cabal 3.18.1.0
containers 0.8
directory 1.3.11.0
filepath 1.5.5.0
network 3.2.9.0
process 1.6.30.0
random 1.3.1
time 1.16.0.1
zlib 0.7.1.1

hs-tags-0.1.5.3

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

LR-demo-0.0.20251105

Cabal 3.18.1.0

hackage-cli-0.3.0.0

Cabal 3.18.1.0
deepseq 1.6.0.0

MiniAgda-0.2025.7.23

haskell-src-exts 1.24.0

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

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. stacker
  37. STMonadTrans
  38. tasty-silver
  39. test-framework
  40. test-framework-hunit
  41. test-framework-quickcheck2
  42. tokenize
  43. visualize-type-inference
  44. xor