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.7.0
gtk 0.15.8

uAgda-1.2.0.4

array 0.5.7.0
BNFC-meta 0.6.1
cmdargs 0.10.22
containers 0.7
mtl 2.3.1
parsec 3.1.17.0
split 0.2.5
transformers 0.6.1.1

nanoAgda-1.0.0

BNFC-meta 0.6.1
cmdargs 0.10.22
containers 0.7
mtl 2.3.1
parsec 3.1.17.0
transformers 0.6.1.1

collections-api-1.0.0.0

base 4.19.1.0

collections-0.3.1.1

base 4.19.1.0

dvi-processing-0.3.1

filepath 1.5.2.0
transformers 0.6.1.1

hgal-2.0.0.3

containers 0.7

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. styx
  23. typedflow
  24. typography-geometry
  25. uAgda
  26. yi-gtk
  27. yi-vty