Skip to content

Pin the Agda proofs to Debian 13's agda 2.6.4.3 + agda-stdlib 2.1 - #3

Merged
hyperpolymath merged 1 commit into
mainfrom
proofs/debian-agda-pin
Oct 2, 2026
Merged

Pin the Agda proofs to Debian 13's agda 2.6.4.3 + agda-stdlib 2.1#3
hyperpolymath merged 1 commit into
mainfrom
proofs/debian-agda-pin

Pin the Agda proofs to Debian 13's agda 2.6.4.3 + agda-stdlib 2.1

4843449
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar