Agda's version suffixed with the git commit hash.
- PackageAgda-2.8.0.2
- Exports2
- LanguageHaskell2010
- LicenceMIT
- SourceVersionCommit.hs
Information about current git commit, generated at compile time.
GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12
Agda's version suffixed with the git commit hash.
Information about current git commit, generated at compile time.