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
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
collections-0.3.1.1
dvi-processing-0.3.1
filepath
1.5.2.0
transformers
0.6.1.1
hgal-2.0.0.3
derivation-trees-0.7.3
View outdated dependency for all ancestor packages too.
Packages checked
Database last updated:
2024-04-25 01:23:53.409969778 UTC