search

project-everest / everest

https://project-everest.github.io/
Apache License 2.0
193 stars 29 forks source link

repositories.sh: point to new Pulse repo #109

Closed mtzguido closed 7 months ago

mtzguido commented 7 months ago

Notably, this is not a functional change as this pulse-20240207 repo was moved into FStarLang and renamed pulse, so the old URL will resolve to this new one, but that's probably only temporary and unclear.

tahina-pro commented 7 months ago

Thanks a lot Guido! Sorry I forgot to fix that bit.