nixpkgs / agda -

Releases

2.6.2 (expand/collapse)
From commit 02c142a2 to 00460bd6
2.6.1.3 (expand/collapse)
From commit 074ef76e to 074ef76e
2.6.2 (expand/collapse)
From commit 0649d2c8 to 07557e3b
2.6.1.3 (expand/collapse)
From commit 06f7d4c1 to 005c8088
2.6.2 (expand/collapse)
From commit 04855119 to 035dcc0e
2.6.1.3 (expand/collapse)
From commit 065a8102 to 065a8102
2.6.2 (expand/collapse)
From commit 04de1306 to 04de1306
2.6.1.3 (expand/collapse)
From commit 07811f56 to 07811f56
2.6.2 (expand/collapse)
From commit 025a67bf to 03507abd
2.6.1.3 (expand/collapse)
From commit 03e50cf1 to 0592d2e3
2.6.1.2 (expand/collapse)
From commit 064e0af8 to 064e0af8
2.6.1.3 (expand/collapse)
From commit 06dee383 to 0139874d
2.6.1.2 (expand/collapse)
From commit 064b446f to 064b446f
2.6.1.3 (expand/collapse)
From commit 078c2a73 to 031da799
2.6.1.2 (expand/collapse)
From commit 045e01aa to 045e01aa
2.6.1.3 (expand/collapse)
From commit 03831816 to 062e1ffa
2.6.1.2 (expand/collapse)
From commit 002fe4f1 to 002fe4f1
2.6.1.3 (expand/collapse)
From commit 02424794 to 0090fbbd
2.6.1.2 (expand/collapse)
From commit 055345eb to 055345eb
2.6.1.3 (expand/collapse)
From commit 06b323d4 to 003db7f3
2.6.1.2 (expand/collapse)
From commit 05af6472 to 05af6472
2.6.1.3 (expand/collapse)
From commit 055b7e2a to 04504122
2.6.1.2 (expand/collapse)
From commit 05373b9b to 05373b9b
2.6.1.3 (expand/collapse)
From commit 0418f881 to 04ef0098
2.6.1.2 (expand/collapse)
From commit 06749ba3 to 024fa9bd
2.6.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
2.6.1.2 (expand/collapse)
From commit 06f2fd5f to 0096eb92
2.6.1 (expand/collapse)
From commit 00afc855 to 00afc855
2.6.1.1 (expand/collapse)
From commit 02885ae8 to 07e49512
2.6.1.2 (expand/collapse)
From commit 0722158d to 07dfadc8
2.6.1.1 (expand/collapse)
From commit 04b7c0af to 04b7c0af
2.6.1.2 (expand/collapse)
From commit 05d4955a to 03df9f54
2.6.1.1 (expand/collapse)
From commit 00251c06 to 00251c06
2.6.1.2 (expand/collapse)
From commit 045c2abd to 06d328c3
2.6.1.1 (expand/collapse)
From commit 05fa0f1a to 05fa0f1a
2.6.1.2 (expand/collapse)
From commit 00213ef1 to 00213ef1
2.6.1.1 (expand/collapse)
From commit 050aad18 to 050aad18
2.6.1.2 (expand/collapse)
From commit 0444c91a to 038497d3
2.6.1.1 (expand/collapse)
From commit 04640b31 to 04640b31
2.6.1.2 (expand/collapse)
From commit 0544a7f6 to 00d257c7
2.6.1.1 (expand/collapse)
From commit 015c5a2b to 035ba179
2.6.1 (expand/collapse)
From commit 00347e95 to 00347e95
2.6.1.1 (expand/collapse)
From commit 063c756b to 00946dc2
2.6.1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
2.6.1.1 (expand/collapse)
From commit 040059b5 to 03197f94
2.6.1 (expand/collapse)
From commit 074e05c6 to 074e05c6
2.6.1.1 (expand/collapse)
From commit 05104cc1 to 05104cc1
2.6.1 (expand/collapse)
From commit 073e9b2a to 05e4d371
2.6.1.1 (expand/collapse)
From commit 035627df to 0596ac51
2.6.1 (expand/collapse)
From commit 05aabc40 to 051ac126