Compare package versions

@arborium/agda

2.8.0 → 2.10.0
January 16, 2026 17:29
2.8.0 → 2.9.0
January 13, 2026 02:13
2.7.0 → 2.9.0
January 13, 2026 02:13
2.7.0 → 2.8.0
January 12, 2026 15:08
2.6.1 → 2.8.0
January 12, 2026 15:08
2.6.1 → 2.7.0
January 10, 2026 05:39
2.6.0 → 2.7.0
January 10, 2026 05:39
2.6.0 → 2.6.1
January 09, 2026 15:44
2.5.0 → 2.6.1
January 09, 2026 15:44
2.5.0 → 2.6.0
January 09, 2026 15:44
2.4.7 → 2.6.0
January 09, 2026 15:44
2.4.7 → 2.5.0
January 05, 2026 15:53
2.4.6 → 2.5.0
January 05, 2026 15:53
2.4.6 → 2.4.7
January 03, 2026 08:15
2.4.5 → 2.4.7
January 03, 2026 08:15
2.4.5 → 2.4.6
December 30, 2025 07:04
2.4.4 → 2.4.6
December 30, 2025 07:04
2.4.4 → 2.4.5
December 27, 2025 17:56
2.4.3 → 2.4.5
December 27, 2025 17:56
2.4.3 → 2.4.4
December 23, 2025 08:30
2.4.2 → 2.4.4
December 23, 2025 08:30