Dependencies upgrade before 1.6 release

JetBrains / Arend

The Arend Proof Assistant

https://arend-lang.github.io/

Apache License 2.0

694 stars 33 forks source link

Closed ice1000 closed 3 years ago

ice1000 commented 4 years ago

I'm opening this ticket for a similar reason as #259, but for the 1.6 release.

ice1000 commented 4 years ago

Gradle will be upgraded from 6.5 to 6.7 release.

ice1000 commented 3 years ago

I don't think anything else are not done at this point.