Newer dependencies for Bernardy

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-2.5.2

base 4.10.0.0
base-orphans 0.6
binary 0.9.0.0
process 1.6.1.0
template-haskell 2.12.0.0
time 1.8.0.2
Win32 2.5.4.1
zlib 0.6.1.2

collections-api-1.0.0.0

base 4.10.0.0

collections-0.3.1.1

base 4.10.0.0

imbib-1.0.0

ConfigFile 1.1.4
directory 1.3.1.1
filepath 1.4.1.2
glib 0.13.4.1
gtk 0.14.6
mtl 2.2.1
parsec 3.1.11
process 1.6.1.0
utf8-string 1.0.1.1

jort-1.0.0

array 0.5.2.0
gtk 0.14.6

uAgda-1.2.0.4

array 0.5.2.0
BNFC-meta 0.4.0.3
cmdargs 0.10.17
containers 0.5.10.2
mtl 2.2.1
parsec 3.1.11
split 0.2.3.2
transformers 0.5.4.0

nanoAgda-1.0.0

BNFC-meta 0.4.0.3
cmdargs 0.10.17
containers 0.5.10.2
mtl 2.2.1
parsec 3.1.11
transformers 0.5.4.0

dvi-processing-0.3.1

filepath 1.4.1.2
transformers 0.5.4.0

derivation-trees-0.7.3

mtl 2.2.1

View outdated dependency for all ancestor packages too.

Packages checked

  1. Agda
  2. cake
  3. collections
  4. collections-api
  5. collections-base-instances
  6. derivation-trees
  7. dvi-processing
  8. gasp
  9. glpk-hs
  10. hgal
  11. imbib
  12. jort
  13. labeled-graph
  14. labeled-tree
  15. lp-diagrams
  16. lp-diagrams-svg
  17. marxup
  18. nanoAgda
  19. parsek
  20. polynomials-bernstein
  21. pretty-compact
  22. styx
  23. typography-geometry
  24. uAgda
  25. yi-gtk
  26. yi-vty