Source repository URL: https://github.com/isabelle-prover/go-component
This component packages Go for Isabelle.
Currently, only a binary version for Linux x64 is available.
As of Isabelle revision ce9b649ee2dd, this repository is obsolete. Support code for the Go compiler has been moved into the Isabelle repository.