search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

How many of our runtime dependencies do not yet support JPMS? #536

Closed ice1000 closed 2 years ago

ice1000 commented 2 years ago

/cc @imkiva

Related: #35

ice1000 commented 2 years ago

image

ice1000 commented 2 years ago

Related: #35

ice1000 commented 2 years ago

https://github.com/jline/jline3/issues/70

ice1000 commented 2 years ago

image

ice1000 commented 2 years ago

https://github.com/ryandens/jlink-gradle-plugin

ice1000 commented 2 years ago

image

Even less!

ice1000 commented 2 years ago

Only jline3 is left. Closing as we already know it.