Compare package versions

@arborium/agda

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
2.1.0 → 2.3.0
December 15, 2025 10:55
2.0.0 → 2.3.0
December 15, 2025 10:55
2.0.0 → 2.1.0
December 13, 2025 23:40
1.3.0 → 2.1.0
December 13, 2025 23:40
1.3.0 → 2.0.0
December 13, 2025 23:40
1.2.3 → 2.0.0
December 13, 2025 23:40
1.2.3 → 1.3.0
December 13, 2025 11:17
1.1.5 → 1.3.0
December 13, 2025 11:16
1.1.5 → 1.2.3
December 12, 2025 18:32
1.1.0 → 1.2.3
December 12, 2025 18:32
1.1.0 → 1.1.5
December 12, 2025 18:32