Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda_2.2.10-1~ubuntu1.patch-basis | 2011-03-08 21:39 | 8 | ||
agda_2.2.10-1~ubuntu1.patch.bz2 | 2011-03-08 21:39 | 140K | ||
agda_2.6.1-1build2.1.patch-basis | 2021-09-18 01:36 | 8 | ||
agda_2.6.1-1build2.1.patch.bz2 | 2021-09-18 01:36 | 660 | ||
patches.xml | 2023-12-20 00:22 | 943 | ||