cas28/agda repository overview

Tags are short commit hashes from the official Agda GitHub repository⁠, indicating the latest commit that's included in the image. The standard library and cubical library are the latest version as of that compiler commit.