Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
agda-bin_2.6.3-1+b2_2.6.3-1+b3_amd64.debdelta | 2024-04-13 23:18 | 5.3M | |
agda-bin_2.6.3-1_2.6.3-1+b1_i386.debdelta-too-big | 2024-04-13 21:58 | 0 | |
libghc-agda-dev_2.6.3-1+b2_2.6.3-1+b3_amd64.debdelta | 2024-04-13 23:20 | 221K | |
libghc-agda-dev_2.6.3-1_2.6.3-1+b1_i386.debdelta | 2024-04-13 22:02 | 235K | |