The GeCoS Eclipse packages (hosted at Inria) need to be updated. Their certs are currently expired, which means we can't install the plugins needed to build AlphaZ until the certs are updated.
and updated our build process (see PR #8) to pull from there temporarily. Leaving this issue open as a reminder to revert PR #8 when the GeCoS sites are fixed.
lnarmour
commented
1 year ago
The GeCoS Eclipse packages (hosted at Inria) need to be updated. Their certs are currently expired, which means we can't install the plugins needed to build AlphaZ until the certs are updated.
I already set up a mirror on the CSU servers of the plugin packages:
https://www.cs.colostate.edu/AlphaZ/gecos-mirror
and updated our build process (see PR #8) to pull from there temporarily. Leaving this issue open as a reminder to revert PR #8 when the GeCoS sites are fixed.