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.

jort-1.0.0

array 0.5.8.0
gtk 0.15.10

hgal-2.0.0.3

containers 0.8

nanoAgda-1.0.0

BNFC-meta 0.6.1
cmdargs 0.10.22
containers 0.8
mtl 2.3.1
parsec 3.1.18.0
transformers 0.6.1.2

uAgda-1.2.0.4

array 0.5.8.0
BNFC-meta 0.6.1
cmdargs 0.10.22
containers 0.8
mtl 2.3.1
parsec 3.1.18.0
split 0.2.5
transformers 0.6.1.2

collections-api-1.0.0.0

base 4.21.0.0

collections-0.3.1.1

base 4.21.0.0

pretty-compact-3.1

base-compat 0.14.1

dvi-processing-0.3.1

filepath 1.5.4.0
transformers 0.6.1.2

derivation-trees-0.7.3

mtl 2.3.1

View outdated dependency for all ancestor packages too.

Packages checked

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