Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-stdlib_0.13-1_all.buildinfo | 2017-07-10 13:43 | 6.8K | ||
agda-stdlib_0.14-1_all.buildinfo | 2017-11-26 11:28 | 7.0K | ||
agda-stdlib_0.14-1_source.buildinfo | 2017-11-26 10:48 | 6.2K | ||
agda-stdlib_0.17-1_all.buildinfo | 2018-11-24 01:48 | 6.8K | ||
agda-stdlib_1.1-1_all.buildinfo | 2019-09-13 15:47 | 7.3K | ||
agda-stdlib_1.1-1_source.buildinfo | 2019-09-04 13:26 | 7.2K | ||
agda-stdlib_1.3-1_all.buildinfo | 2020-07-31 12:40 | 7.1K | ||
agda-stdlib_1.3-1_source.buildinfo | 2020-07-31 11:50 | 7.4K | ||
agda-stdlib_1.3-2_all.buildinfo | 2020-08-01 13:34 | 7.2K | ||
agda-stdlib_1.3-2_source.buildinfo | 2020-08-01 12:54 | 9.0K | ||
agda-stdlib_1.7.1-1_all-source.buildinfo | 2022-08-06 17:10 | 9.0K | ||
agda-stdlib_1.7.1-1_all.buildinfo | 2022-08-06 18:46 | 8.6K | ||
agda-stdlib_1.7.3-1_all-source.buildinfo | 2023-11-04 12:33 | 9.2K | ||
agda-stdlib_1.7.3-1_all.buildinfo | 2023-11-04 12:59 | 8.7K | ||
agda-stdlib_2.1-1_all.buildinfo | 2024-10-18 22:17 | 8.5K | ||
agda-stdlib_2.1-1_source.buildinfo | 2024-10-18 21:34 | 6.0K | ||