Compare package versions

@arborium/agda

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
2.4.2 → 2.4.3
December 22, 2025 16:04
2.4.0 → 2.4.3
December 22, 2025 16:03
2.4.0 → 2.4.2
December 22, 2025 16:03
2.3.2 → 2.4.2
December 22, 2025 16:03
2.3.2 → 2.4.0
December 22, 2025 12:31
2.3.1 → 2.4.0
December 22, 2025 12:31
2.3.1 → 2.3.2
December 15, 2025 11:29
2.3.0 → 2.3.2
December 15, 2025 11:29
2.3.0 → 2.3.1
December 15, 2025 10:55
2.1.0 → 2.3.1
December 15, 2025 10:55