Skip to content

Releases: agda-web/agda-wasm-dist

v2.6.4.3-r1 w/ GHC 9.8.1 rev. 0

18 Jul 18:42
@andy0130tw andy0130tw
v2.6.4.3-r1-ghc9.8.1-r0
6a39fb6
Compare
Choose a tag to compare
v2.6.4.3-r1 w/ GHC 9.8.1 rev. 0 
v2.6.4.3-r1-ghc9.8.1-r0

Republish with the corrected workflow
Assets 3
Loading

v2.6.4.3-r1 w/ GHC 9.10.1 rev. 4

18 Jul 18:39
@andy0130tw andy0130tw
v2.6.4.3-r1-ghc9.10.1-r4
6c7af58
Compare
Choose a tag to compare
v2.6.4.3-r1 w/ GHC 9.10.1 rev. 4 Latest
Latest

Built with GHC version 9.10.1.

Assets 3
Loading