panama/foreign EA builds - February update

Maurizio Cimadamore maurizio.cimadamore at
Mon Feb 15 11:25:13 UTC 2021

last week we released a new set of EA builds - unfortunately it has
been brought to our attention that these builds are missing the
jextract tool - e.g. these are just vanilla 17 builds. We're working to
rectify this problem as soon as possible, please bear with us.


More information about the panama-dev mailing list