Skip to content

Releases: agda-web/agda-wasm-dist

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

07 Oct 08:14
@andy0130tw andy0130tw
v2.6.4.3-r1-ghc9.10.1-r5
42878a4

Choose a tag to compare

View all tags
v2.6.4.3-r1 w/ GHC 9.10.1 rev. 5

Full Changelog: v2.6.4.3-r1-ghc9.10.1-r4...v2.6.4.3-r1-ghc9.10.1-r5

Loading

v2.7.0.1 w/ GHC 9.10.1 rev. 1

27 Sep 16:11
@andy0130tw andy0130tw
v2.7.0.1-ghc9.10.1-r1
455e852

Choose a tag to compare

View all tags
v2.7.0.1 w/ GHC 9.10.1 rev. 1

Full Changelog: v2.7.0.1-ghc9.10.1-r0...v2.7.0.1-ghc9.10.1-r1

Loading

v2.8.0 w/ GHC 9.10.2 rev. 0

21 Sep 15:02
@andy0130tw andy0130tw
v2.8.0-ghc9.10.2-r0
b9b9007

Choose a tag to compare

View all tags
v2.8.0 w/ GHC 9.10.2 rev. 0 Latest
Latest

Full Changelog: v2.7.0.1-ghc9.10.1-r0...v2.8.0-ghc9.10.2-r0

Assets 3
Loading

v2.7.0.1 w/ GHC 9.10.1 rev. 0

28 Aug 18:41
@andy0130tw andy0130tw
v2.7.0.1-ghc9.10.1-r0
0fa57a5

Choose a tag to compare

View all tags
v2.7.0.1 w/ GHC 9.10.1 rev. 0

Full Changelog: v2.6.4.3-r1-ghc9.10.1-r4...v2.7.0.1-ghc9.10.1-r0

Loading

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

Choose a tag to compare

View all tags
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
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

Choose a tag to compare

View all tags
v2.6.4.3-r1 w/ GHC 9.10.1 rev. 4

Built with GHC version 9.10.1.

Loading