Newer dependencies for bnfc cake collections-api containers derivation-trees hgal imbib jort labeled-graph labeled-tree lp-diagrams lp-diagrams-svg marxup nanoAgda parsek pretty-compact TypedFlow uAgda yi

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.

All upper bounds are non-restrictive.

View outdated dependency for all ancestor packages too.

Packages checked

No packages checked