Index of /packages/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]agda-2.5.1.1-2-i686...>2019-05-16 13:57 6.1M 
[   ]agda-2.5.1.1-2-i686...>2019-05-16 13:57 543  
[   ]agda-2.5.2-1-i686.pk..>2019-05-16 20:25 4.9M 
[   ]agda-2.5.2-1-i686.pk..>2019-05-16 20:25 566  
[   ]agda-2.5.2-2-i686.pk..>2019-05-17 02:31 4.9M 
[   ]agda-2.5.2-2-i686.pk..>2019-05-17 02:31 566  
[   ]agda-2.5.2-3-i686.pk..>2019-05-17 02:50 4.9M 
[   ]agda-2.5.2-3-i686.pk..>2019-05-17 02:50 566  
[   ]agda-2.5.2-4-i686.pk..>2019-05-17 03:43 4.9M 
[   ]agda-2.5.2-4-i686.pk..>2019-05-17 03:43 566  
[   ]agda-2.5.2-5-i686.pk..>2019-05-17 11:57 4.9M 
[   ]agda-2.5.2-5-i686.pk..>2019-05-17 11:57 566  
[   ]agda-2.5.2-6-i686.pk..>2019-05-17 12:08 4.9M 
[   ]agda-2.5.2-6-i686.pk..>2019-05-17 12:08 566  
[   ]agda-2.5.2-7-i686.pk..>2019-05-17 13:11 4.9M 
[   ]agda-2.5.2-7-i686.pk..>2019-05-17 13:11 566  
[   ]agda-2.5.2-8-i686.pk..>2019-05-17 13:32 4.9M 
[   ]agda-2.5.2-8-i686.pk..>2019-05-17 13:32 566  
[   ]agda-2.5.2-9-i686.pk..>2019-05-17 15:22 4.9M 
[   ]agda-2.5.2-9-i686.pk..>2019-05-17 15:22 566  
[   ]agda-2.5.2-10-i686.p..>2019-05-17 16:03 4.9M 
[   ]agda-2.5.2-10-i686.p..>2019-05-17 16:03 566  
[   ]agda-2.5.2-11-i686.p..>2019-05-17 19:19 4.9M 
[   ]agda-2.5.2-11-i686.p..>2019-05-17 19:19 566  
[   ]agda-2.5.2-12-i686.p..>2019-05-17 21:58 4.9M 
[   ]agda-2.5.2-12-i686.p..>2019-05-17 21:58 566  
[   ]agda-2.5.2-13-i686.p..>2019-05-17 22:57 4.9M 
[   ]agda-2.5.2-13-i686.p..>2019-05-17 22:57 566  
[   ]agda-2.5.2-14-i686.p..>2019-05-18 04:19 8.4M 
[   ]agda-2.5.2-14-i686.p..>2019-05-18 04:19 566  
[   ]agda-2.5.2-15-i686.p..>2019-05-18 04:31 8.4M 
[   ]agda-2.5.2-15-i686.p..>2019-05-18 04:31 566  
[   ]agda-2.5.2-16-i686.p..>2019-05-18 05:00 8.4M 
[   ]agda-2.5.2-16-i686.p..>2019-05-18 05:00 566  
[   ]agda-2.5.2-17-i686.p..>2019-05-18 09:39 8.4M 
[   ]agda-2.5.2-17-i686.p..>2019-05-18 09:39 566  
[   ]agda-2.5.3-1-i686.pk..>2019-05-18 13:31 8.8M 
[   ]agda-2.5.3-1-i686.pk..>2019-05-18 13:31 566  
[   ]agda-2.5.3-2-i686.pk..>2019-05-18 14:59 8.5M 
[   ]agda-2.5.3-2-i686.pk..>2019-05-18 14:59 566  
[   ]agda-2.5.3-3-i686.pk..>2019-05-18 15:21 8.5M 
[   ]agda-2.5.3-3-i686.pk..>2019-05-18 15:21 566  
[   ]agda-2.5.3-4-i686.pk..>2019-05-16 01:13 8.5M 
[   ]agda-2.5.3-4-i686.pk..>2019-05-16 01:13 566  
[   ]agda-2.5.3-10.0-i686..>2019-05-14 12:46 8.5M 
[   ]agda-2.5.3-10.0-i686..>2019-05-14 12:46 566  
[   ]agda-2.5.3-11.0-i686..>2019-05-14 12:46 8.5M 
[   ]agda-2.5.3-11.0-i686..>2019-05-14 12:46 566  
[   ]agda-2.5.3-12.0-i686..>2019-05-14 12:46 8.5M 
[   ]agda-2.5.3-12.0-i686..>2019-05-14 12:46 566  
[   ]agda-2.5.3-14.0-i686..>2019-05-14 12:46 8.5M 
[   ]agda-2.5.3-14.0-i686..>2019-05-14 12:46 566  
[   ]agda-2.5.3-16.0-i686..>2019-05-14 12:46 8.5M 
[   ]agda-2.5.3-16.0-i686..>2019-05-14 12:46 566  
[   ]agda-2.5.3-17.0-i686..>2019-05-14 12:46 8.5M 
[   ]agda-2.5.3-17.0-i686..>2019-05-14 12:46 566  
[   ]agda-2.5.3-19.0-i686..>2019-05-14 12:47 8.5M 
[   ]agda-2.5.3-19.0-i686..>2019-05-14 12:47 566  
[   ]agda-2.5.3-20.0-i686..>2019-05-14 12:47 8.5M 
[   ]agda-2.5.3-20.0-i686..>2019-05-14 12:47 566  
[   ]agda-2.5.3-22.0-i686..>2019-05-14 12:47 8.5M 
[   ]agda-2.5.3-22.0-i686..>2019-05-14 12:47 566  
[   ]agda-2.5.3-23.0-i686..>2019-05-14 12:47 8.5M 
[   ]agda-2.5.3-23.0-i686..>2019-05-14 12:47 566  
[   ]agda-2.5.3-24.0-i686..>2019-05-14 12:47 8.5M 
[   ]agda-2.5.3-24.0-i686..>2019-05-14 12:47 566  
[   ]agda-2.5.3-25.0-i686..>2019-05-14 12:48 8.5M 
[   ]agda-2.5.3-25.0-i686..>2019-05-14 12:48 566  
[   ]agda-2.5.3-26.0-i686..>2019-05-14 12:48 8.5M 
[   ]agda-2.5.3-26.0-i686..>2019-05-14 12:48 566  
[   ]agda-2.5.3-28.0-i686..>2019-05-14 12:48 8.5M 
[   ]agda-2.5.3-28.0-i686..>2019-05-14 12:48 566  
[   ]agda-2.5.3-29.0-i686..>2019-05-14 12:48 8.5M 
[   ]agda-2.5.3-29.0-i686..>2019-05-14 12:48 566  
[   ]agda-2.5.3.20180519-..>2019-05-14 12:49 9.0M 
[   ]agda-2.5.3.20180519-..>2019-05-14 12:49 310  
[   ]agda-2.5.3rc-1-i686...>2019-05-18 10:53 9.0M 
[   ]agda-2.5.3rc-1-i686...>2019-05-18 10:53 566  
[   ]agda-2.5.4-4.0-i686...>2019-05-14 12:49 9.0M 
[   ]agda-2.5.4-4.0-i686...>2019-05-14 12:49 566  
[   ]agda-2.5.4-6.0-i686...>2019-05-14 12:49 9.0M 
[   ]agda-2.5.4-6.0-i686...>2019-05-14 12:49 566  
[   ]agda-2.5.4-7.0-i686...>2019-05-14 12:49 9.0M 
[   ]agda-2.5.4-7.0-i686...>2019-05-14 12:49 566  
[   ]agda-2.5.4-8.0-i686...>2019-05-14 12:49 9.0M 
[   ]agda-2.5.4-8.0-i686...>2019-05-14 12:49 566  
[   ]agda-2.5.4-9.0-i686...>2019-05-14 12:49 9.0M 
[   ]agda-2.5.4-9.0-i686...>2019-05-14 12:49 566  
[   ]agda-2.5.4-10.0-i686..>2019-05-14 12:50 9.0M 
[   ]agda-2.5.4-10.0-i686..>2019-05-14 12:50 566  
[   ]agda-2.5.4-11.0-i686..>2019-05-14 12:50 9.0M 
[   ]agda-2.5.4-11.0-i686..>2019-05-14 12:50 566  
[   ]agda-2.5.4.1-1.0-i68..>2019-05-14 12:50 9.0M 
[   ]agda-2.5.4.1-1.0-i68..>2019-05-14 12:50 566  
[   ]agda-2.5.4.1-2.0-i68..>2019-05-14 12:50 9.0M 
[   ]agda-2.5.4.1-2.0-i68..>2019-05-14 12:50 566  
[   ]agda-2.5.99.20181017..>2019-05-14 12:51 9.9M 
[   ]agda-2.5.99.20181017..>2019-05-14 12:51 566  
[   ]agda-2.5.99.20181017..>2019-05-14 12:51 9.9M 
[   ]agda-2.5.99.20181017..>2019-05-14 12:51 566  
[   ]agda-2.5.99.20181017..>2019-05-14 12:51 9.9M 
[   ]agda-2.5.99.20181017..>2019-05-14 12:51 310  
[   ]agda-2.5.99.20181017..>2018-12-30 21:20 9.9M 
[   ]agda-2.5.99.20181017..>2018-12-30 21:20 566  
[   ]agda-2.5.99.20190207..>2019-04-05 01:47 10M 
[   ]agda-2.5.99.20190207..>2019-04-05 01:47 566  
[   ]agda-2.5.99.20190207..>2019-04-12 17:16 10M 
[   ]agda-2.5.99.20190207..>2019-04-12 17:16 566  
[   ]agda-2.5.99.20190207..>2019-05-15 15:42 10M 
[   ]agda-2.5.99.20190207..>2019-05-12 23:03 10M 
[   ]agda-2.5.99.20190207..>2019-05-12 23:03 566  
[   ]agda-2.5.99.20190207..>2019-05-23 09:55 10M 
[   ]agda-2.5.99.20190207..>2019-05-23 09:55 310  
[   ]agda-2.5.99.20190207..>2019-05-23 19:06 10M 
[   ]agda-2.5.99.20190207..>2019-05-23 19:06 566  
[   ]agda-2.5.99.20190207..>2019-05-29 19:00 10M 
[   ]agda-2.5.99.20190207..>2019-05-29 19:00 566  
[   ]agda-2.6.0.1-1.0-pen..>2019-05-31 17:52 11M 
[   ]agda-2.6.0.1-1.0-pen..>2019-05-31 17:52 566  
[   ]agda-2.6.0.1-6.0-pen..>2019-06-29 17:03 11M 
[   ]agda-2.6.0.1-6.0-pen..>2019-06-29 17:03 566  
[   ]agda-2.6.0.1-7.0-pen..>2019-07-10 08:54 11M 
[   ]agda-2.6.0.1-7.0-pen..>2019-07-10 08:54 566  
[   ]agda-2.6.0.1-7.1-pen..>2019-07-16 01:59 11M 
[   ]agda-2.6.0.1-7.1-pen..>2019-07-16 01:59 310  
[   ]agda-2.6.0.1-8.0-pen..>2019-07-17 06:02 11M 
[   ]agda-2.6.0.1-8.0-pen..>2019-07-17 06:02 310  
[   ]agda-2.6.0.1-10.0-pe..>2019-07-21 01:19 11M 
[   ]agda-2.6.0.1-10.0-pe..>2019-07-21 01:19 310  
[   ]agda-2.6.0.1-13.0-pe..>2019-08-03 05:51 11M 
[   ]agda-2.6.0.1-13.0-pe..>2019-08-03 05:51 310  
[   ]agda-2.6.0.1-14.0-i6..>2019-08-08 20:42 11M 
[   ]agda-2.6.0.1-14.0-i6..>2019-08-08 20:42 566  
[   ]agda-2.6.0.1-14.0-pe..>2019-08-06 23:49 11M 
[   ]agda-2.6.0.1-14.0-pe..>2019-08-06 23:49 310  
[   ]agda-2.6.0.1-15.0-i6..>2019-08-09 15:06 11M 
[   ]agda-2.6.0.1-15.0-i6..>2019-08-09 15:06 566  
[   ]agda-2.6.0.1-15.0-pe..>2019-08-09 14:13 11M 
[   ]agda-2.6.0.1-15.0-pe..>2019-08-09 14:13 310  
[   ]agda-2.6.0.1-16.0-i6..>2019-08-11 12:34 11M 
[   ]agda-2.6.0.1-16.0-i6..>2019-08-11 12:34 310  
[   ]agda-2.6.0.1-16.0-pe..>2019-08-11 12:31 11M 
[   ]agda-2.6.0.1-16.0-pe..>2019-08-11 12:31 566  
[   ]agda-2.6.0.1-18.0-i6..>2019-08-29 16:02 11M 
[   ]agda-2.6.0.1-18.0-i6..>2019-08-29 16:02 566  
[   ]agda-2.6.0.1-18.0-pe..>2019-08-30 09:25 11M 
[   ]agda-2.6.0.1-18.0-pe..>2019-08-30 09:25 310  
[   ]agda-2.6.0.1-19.0-i6..>2019-08-31 13:20 11M 
[   ]agda-2.6.0.1-19.0-i6..>2019-08-31 13:20 566  
[   ]agda-2.6.0.1-19.0-pe..>2019-08-31 13:31 11M 
[   ]agda-2.6.0.1-19.0-pe..>2019-08-31 13:31 310  
[   ]agda-2.6.0.1-20.0-i6..>2019-09-01 18:17 11M 
[   ]agda-2.6.0.1-20.0-i6..>2019-09-01 18:17 310  
[   ]agda-2.6.0.1-20.0-pe..>2019-09-01 18:16 11M 
[   ]agda-2.6.0.1-20.0-pe..>2019-09-01 18:16 310  
[   ]agda-2.6.0.1-21.0-i6..>2019-09-03 20:01 11M 
[   ]agda-2.6.0.1-21.0-i6..>2019-09-03 20:01 310  
[   ]agda-2.6.0.1-21.0-pe..>2019-09-04 08:59 11M 
[   ]agda-2.6.0.1-21.0-pe..>2019-09-04 08:59 566  
[   ]agda-2.6.0.1-21.1-i6..>2019-09-19 18:14 11M 
[   ]agda-2.6.0.1-21.1-i6..>2019-09-19 18:14 310  
[   ]agda-2.6.0.1-21.1-pe..>2019-09-19 18:17 11M 
[   ]agda-2.6.0.1-21.1-pe..>2019-09-19 18:17 310  
[   ]agda-2.6.0.1-22.0-i6..>2019-10-07 04:38 11M 
[   ]agda-2.6.0.1-22.0-i6..>2019-10-07 04:38 310  
[   ]agda-2.6.0.1-22.0-pe..>2019-10-07 04:39 11M 
[   ]agda-2.6.0.1-22.0-pe..>2019-10-07 04:39 310  
[   ]agda-2.6.0.1-23.0-i6..>2019-10-18 17:00 11M 
[   ]agda-2.6.0.1-23.0-i6..>2019-10-18 17:00 566  
[   ]agda-2.6.0.1-23.0-pe..>2019-10-18 14:42 11M 
[   ]agda-2.6.0.1-23.0-pe..>2019-10-18 14:42 566  
[   ]agda-2.6.0.1-24.0-i6..>2019-10-20 23:18 11M 
[   ]agda-2.6.0.1-24.0-i6..>2019-10-20 23:18 566  
[   ]agda-2.6.0.1-24.0-pe..>2019-10-20 20:57 11M 
[   ]agda-2.6.0.1-24.0-pe..>2019-10-20 20:57 566  
[   ]agda-2.6.0.1-25.0-i6..>2019-11-18 00:28 11M 
[   ]agda-2.6.0.1-25.0-i6..>2019-11-18 00:28 310  
[   ]agda-2.6.0.1-25.0-pe..>2019-11-18 00:29 11M 
[   ]agda-2.6.0.1-25.0-pe..>2019-11-18 00:29 310  
[   ]agda-2.6.0.1-26.0-i6..>2019-11-21 09:00 11M 
[   ]agda-2.6.0.1-26.0-i6..>2019-11-21 09:00 566  
[   ]agda-2.6.0.1-26.0-pe..>2019-11-21 13:49 11M 
[   ]agda-2.6.0.1-26.0-pe..>2019-11-21 13:49 310  
[   ]agda-2.6.0.1-27.0-i6..>2019-11-22 16:06 11M 
[   ]agda-2.6.0.1-27.0-i6..>2019-11-22 16:06 566  
[   ]agda-2.6.0.1-27.0-pe..>2019-11-22 15:56 11M 
[   ]agda-2.6.0.1-27.0-pe..>2019-11-22 15:56 310  
[   ]agda-2.6.0.1-28.0-i6..>2019-11-24 14:32 11M 
[   ]agda-2.6.0.1-28.0-i6..>2019-11-24 14:32 310  
[   ]agda-2.6.0.1-28.0-pe..>2019-11-24 14:37 11M 
[   ]agda-2.6.0.1-28.0-pe..>2019-11-24 14:37 310  
[   ]agda-2.6.0.1-30.0-i6..>2019-12-29 08:27 11M 
[   ]agda-2.6.0.1-30.0-i6..>2019-12-29 08:27 566  
[   ]agda-2.6.0.1-30.0-pe..>2019-12-29 17:09 11M 
[   ]agda-2.6.0.1-30.0-pe..>2019-12-29 17:09 310  
[   ]agda-2.6.0.1-31.0-i6..>2020-01-02 23:01 11M 
[   ]agda-2.6.0.1-31.0-i6..>2020-01-02 23:01 310  
[   ]agda-2.6.0.1-31.0-pe..>2019-12-31 20:00 11M 
[   ]agda-2.6.0.1-31.0-pe..>2019-12-31 20:00 310  
[   ]agda-2.6.0.1-33.0-i6..>2020-01-07 00:30 11M 
[   ]agda-2.6.0.1-33.0-i6..>2020-01-07 00:30 310  
[   ]agda-2.6.0.1-33.0-pe..>2020-01-06 12:14 11M 
[   ]agda-2.6.0.1-33.0-pe..>2020-01-06 12:14 310  
[   ]agda-2.6.0.1.2019121..>2020-02-22 15:08 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-22 15:08 566  
[   ]agda-2.6.0.1.2019121..>2020-02-22 14:55 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-22 14:55 310  
[   ]agda-2.6.0.1.2019121..>2020-02-22 18:15 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-22 18:15 566  
[   ]agda-2.6.0.1.2019121..>2020-02-22 18:00 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-22 18:00 310  
[   ]agda-2.6.0.1.2019121..>2020-02-23 01:10 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-23 01:10 310  
[   ]agda-2.6.0.1.2019121..>2020-02-23 01:12 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-23 01:12 310  
[   ]agda-2.6.0.1.2019121..>2020-02-23 09:37 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-23 09:37 310  
[   ]agda-2.6.0.1.2019121..>2020-02-23 09:37 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-23 09:37 310  
[   ]agda-2.6.0.1.2019121..>2020-02-23 14:21 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-23 14:21 310  
[   ]agda-2.6.0.1.2019121..>2020-02-23 14:41 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-23 14:41 566  
[   ]agda-2.6.0.1.2019121..>2020-02-24 16:30 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-24 16:30 310  
[   ]agda-2.6.0.1.2019121..>2020-02-24 16:39 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-24 16:39 566  
[   ]agda-2.6.0.1.2019121..>2020-02-24 20:45 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-24 20:45 310  
[   ]agda-2.6.0.1.2019121..>2020-02-24 20:45 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-24 20:45 310  
[   ]agda-2.6.0.1.2019121..>2020-02-25 15:23 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-25 15:23 310  
[   ]agda-2.6.0.1.2019121..>2020-02-25 15:24 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-25 15:24 310  
[   ]agda-2.6.0.1.2019121..>2020-02-28 01:14 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-28 01:14 566  
[   ]agda-2.6.0.1.2019121..>2020-02-28 01:12 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-28 01:12 310  
[   ]agda-2.6.0.1.2019121..>2020-02-29 15:47 23M 
[   ]agda-2.6.0.1.2019121..>2020-02-29 15:47 310  
[   ]agda-2.6.0.1.2019121..>2020-03-01 15:33 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-01 15:33 566  
[   ]agda-2.6.0.1.2019121..>2020-03-01 15:17 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-01 15:17 310  
[   ]agda-2.6.0.1.2019121..>2020-03-03 10:09 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-03 10:09 310  
[   ]agda-2.6.0.1.2019121..>2020-03-03 04:12 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-03 04:12 310  
[   ]agda-2.6.0.1.2019121..>2020-03-03 18:27 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-03 18:27 566  
[   ]agda-2.6.0.1.2019121..>2020-03-03 18:10 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-03 18:10 310  
[   ]agda-2.6.0.1.2019121..>2020-03-04 23:48 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-04 23:48 310  
[   ]agda-2.6.0.1.2019121..>2020-03-05 00:01 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-05 00:01 566  
[   ]agda-2.6.0.1.2019121..>2020-03-05 04:06 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-05 04:06 310  
[   ]agda-2.6.0.1.2019121..>2020-03-05 05:35 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-05 05:35 310  
[   ]agda-2.6.0.1.2019121..>2020-03-06 10:17 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-06 10:17 310  
[   ]agda-2.6.0.1.2019121..>2020-03-06 10:18 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-06 10:18 310  
[   ]agda-2.6.0.1.2019121..>2020-03-08 16:54 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-08 16:54 310  
[   ]agda-2.6.0.1.2019121..>2020-03-08 16:54 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-08 16:54 310  
[   ]agda-2.6.0.1.2019121..>2020-03-08 20:00 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-08 20:00 310  
[   ]agda-2.6.0.1.2019121..>2020-03-08 19:59 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-08 19:59 310  
[   ]agda-2.6.0.1.2019121..>2020-03-09 13:41 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-09 13:41 310  
[   ]agda-2.6.0.1.2019121..>2020-03-09 13:40 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-09 13:40 310  
[   ]agda-2.6.0.1.2019121..>2020-03-09 23:03 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-09 23:03 310  
[   ]agda-2.6.0.1.2019121..>2020-03-09 23:11 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-09 23:11 566  
[   ]agda-2.6.0.1.2019121..>2020-03-10 22:18 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-10 22:18 310  
[   ]agda-2.6.0.1.2019121..>2020-03-10 22:48 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-10 22:48 310  
[   ]agda-2.6.0.1.2019121..>2020-03-12 13:15 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-12 13:15 310  
[   ]agda-2.6.0.1.2019121..>2020-03-12 13:15 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-12 13:15 310  
[   ]agda-2.6.0.1.2019121..>2020-03-12 15:51 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-12 15:51 310  
[   ]agda-2.6.0.1.2019121..>2020-03-12 15:49 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-12 15:49 310  
[   ]agda-2.6.0.1.2019121..>2020-03-12 22:38 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-12 22:38 310  
[   ]agda-2.6.0.1.2019121..>2020-03-12 22:34 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-12 22:34 310  
[   ]agda-2.6.0.1.2019121..>2020-03-13 23:05 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-13 23:05 310  
[   ]agda-2.6.0.1.2019121..>2020-03-13 22:37 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-13 22:37 310  
[   ]agda-2.6.0.1.2019121..>2020-03-14 19:35 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-14 19:35 310  
[   ]agda-2.6.0.1.2019121..>2020-03-14 19:35 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-14 19:35 310  
[   ]agda-2.6.0.1.2019121..>2020-03-15 10:32 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-15 10:32 310  
[   ]agda-2.6.0.1.2019121..>2020-03-15 13:39 23M 
[   ]agda-2.6.0.1.2019121..>2020-03-15 13:39 310  
[   ]agda-2.6.1-3.0-i686...>2020-03-19 19:34 23M 
[   ]agda-2.6.1-3.0-i686...>2020-03-19 19:34 310  
[   ]agda-2.6.1-3.0-penti..>2020-03-19 19:49 23M 
[   ]agda-2.6.1-3.0-penti..>2020-03-19 19:49 310  
[   ]agda-2.6.1-4.0-i686...>2020-03-20 07:53 23M 
[   ]agda-2.6.1-4.0-i686...>2020-03-20 07:53 310  
[   ]agda-2.6.1-4.0-penti..>2020-03-20 08:22 23M 
[   ]agda-2.6.1-4.0-penti..>2020-03-20 08:22 310  
[   ]agda-2.6.1-6.0-i686...>2020-03-21 04:11 23M 
[   ]agda-2.6.1-6.0-i686...>2020-03-21 04:11 310  
[   ]agda-2.6.1-6.0-penti..>2020-03-21 04:12 23M 
[   ]agda-2.6.1-6.0-penti..>2020-03-21 04:12 310  
[   ]agda-2.6.1-7.0-i686...>2020-03-21 18:53 23M 
[   ]agda-2.6.1-7.0-i686...>2020-03-21 18:53 566  
[   ]agda-2.6.1-7.0-penti..>2020-03-21 18:54 23M 
[   ]agda-2.6.1-7.0-penti..>2020-03-21 18:54 310  
[   ]agda-2.6.1-8.0-i686...>2020-03-22 07:26 23M 
[   ]agda-2.6.1-8.0-i686...>2020-03-22 07:26 310  
[   ]agda-2.6.1-8.0-penti..>2020-03-22 07:26 23M 
[   ]agda-2.6.1-8.0-penti..>2020-03-22 07:26 310  
[   ]agda-2.6.1-9.0-i686...>2020-03-25 19:10 23M 
[   ]agda-2.6.1-9.0-i686...>2020-03-25 19:10 310  
[   ]agda-2.6.1-9.0-penti..>2020-03-25 19:28 23M 
[   ]agda-2.6.1-9.0-penti..>2020-03-25 19:28 566  
[   ]agda-2.6.1-10.0-i686..>2020-03-27 18:38 23M 
[   ]agda-2.6.1-10.0-i686..>2020-03-27 18:38 566  
[   ]agda-2.6.1-10.0-pent..>2020-03-27 20:44 23M 
[   ]agda-2.6.1-10.0-pent..>2020-03-27 20:44 566  
[   ]agda-2.6.1-11.0-i686..>2020-03-29 06:17 23M 
[   ]agda-2.6.1-11.0-i686..>2020-03-29 06:17 310  
[   ]agda-2.6.1-11.0-pent..>2020-03-29 07:30 23M 
[   ]agda-2.6.1-11.0-pent..>2020-03-29 07:30 310  
[   ]agda-2.6.1-12.0-i686..>2020-03-29 20:47 23M 
[   ]agda-2.6.1-12.0-i686..>2020-03-29 20:47 566  
[   ]agda-2.6.1-12.0-pent..>2020-03-29 20:36 23M 
[   ]agda-2.6.1-12.0-pent..>2020-03-29 20:36 310  
[   ]agda-2.6.1-13.0-i686..>2020-03-30 20:30 23M 
[   ]agda-2.6.1-13.0-i686..>2020-03-30 20:30 310  
[   ]agda-2.6.1-13.0-pent..>2020-03-30 20:51 23M 
[   ]agda-2.6.1-13.0-pent..>2020-03-30 20:51 566  
[   ]agda-2.6.1-14.0-i686..>2020-03-31 15:20 23M 
[   ]agda-2.6.1-14.0-i686..>2020-03-31 15:20 566  
[   ]agda-2.6.1-14.0-pent..>2020-03-31 15:33 23M 
[   ]agda-2.6.1-14.0-pent..>2020-03-31 15:33 566  
[   ]agda-2.6.1-17.0-i686..>2020-04-03 15:17 23M 
[   ]agda-2.6.1-17.0-i686..>2020-04-03 15:17 310  
[   ]agda-2.6.1-17.0-pent..>2020-04-03 19:05 23M 
[   ]agda-2.6.1-17.0-pent..>2020-04-03 19:05 310  
[   ]agda-2.6.1-20.0-i686..>2020-04-04 07:15 23M 
[   ]agda-2.6.1-20.0-i686..>2020-04-04 07:15 310  
[   ]agda-2.6.1-20.0-pent..>2020-04-04 07:31 23M 
[   ]agda-2.6.1-20.0-pent..>2020-04-04 07:31 310  
[   ]agda-2.6.1-21.0-i686..>2020-04-07 07:34 23M 
[   ]agda-2.6.1-21.0-i686..>2020-04-07 07:34 310  
[   ]agda-2.6.1-21.0-pent..>2020-04-07 08:10 23M 
[   ]agda-2.6.1-21.0-pent..>2020-04-07 08:10 566  
[   ]agda-2.6.1-22.0-i686..>2020-04-12 12:08 23M 
[   ]agda-2.6.1-22.0-i686..>2020-04-12 12:08 566  
[   ]agda-2.6.1-22.0-pent..>2020-04-12 01:57 23M 
[   ]agda-2.6.1-22.0-pent..>2020-04-12 01:57 310  
[   ]agda-2.6.1-23.0-i686..>2020-04-14 05:18 23M 
[   ]agda-2.6.1-23.0-i686..>2020-04-14 05:18 310  
[   ]agda-2.6.1-23.0-pent..>2020-04-14 05:35 23M 
[   ]agda-2.6.1-23.0-pent..>2020-04-14 05:35 566  
[   ]agda-2.6.1-24.0-i686..>2020-04-15 06:52 23M 
[   ]agda-2.6.1-24.0-i686..>2020-04-15 06:52 310  
[   ]agda-2.6.1-24.0-pent..>2020-04-15 06:59 23M 
[   ]agda-2.6.1-24.0-pent..>2020-04-15 06:59 566  
[   ]agda-2.6.1-25.0-i686..>2020-04-16 09:48 23M 
[   ]agda-2.6.1-25.0-i686..>2020-04-16 09:48 566  
[   ]agda-2.6.1-25.0-pent..>2020-04-15 22:37 23M 
[   ]agda-2.6.1-25.0-pent..>2020-04-15 22:37 310  
[   ]agda-2.6.1-26.0-i686..>2020-04-18 07:52 23M 
[   ]agda-2.6.1-26.0-i686..>2020-04-18 07:52 566  
[   ]agda-2.6.1-26.0-pent..>2020-04-18 07:47 23M 
[   ]agda-2.6.1-26.0-pent..>2020-04-18 07:47 310  
[   ]agda-2.6.1-27.0-i686..>2020-04-19 21:21 23M 
[   ]agda-2.6.1-27.0-i686..>2020-04-19 21:21 566  
[   ]agda-2.6.1-27.0-pent..>2020-04-19 21:27 23M 
[   ]agda-2.6.1-27.0-pent..>2020-04-19 21:27 310  
[   ]agda-2.6.1-28.0-i686..>2020-04-20 15:04 23M 
[   ]agda-2.6.1-28.0-i686..>2020-04-20 15:04 566  
[   ]agda-2.6.1-28.0-pent..>2020-04-20 14:54 23M 
[   ]agda-2.6.1-28.0-pent..>2020-04-20 14:54 566  
[   ]agda-2.6.1-29.0-i686..>2020-04-21 07:26 23M 
[   ]agda-2.6.1-29.0-i686..>2020-04-21 07:26 566  
[   ]agda-2.6.1-29.0-pent..>2020-04-21 07:53 23M 
[   ]agda-2.6.1-29.0-pent..>2020-04-21 07:53 566  
[   ]agda-2.6.1-33.0-i686..>2020-05-02 14:42 23M 
[   ]agda-2.6.1-33.0-i686..>2020-05-02 14:42 566  
[   ]agda-2.6.1-33.0-pent..>2020-05-02 14:26 23M 
[   ]agda-2.6.1-33.0-pent..>2020-05-02 14:26 310  
[   ]agda-2.6.1-39.0-i686..>2020-05-22 00:35 23M 
[   ]agda-2.6.1-39.0-i686..>2020-05-22 00:35 310  
[   ]agda-2.6.1-39.0-pent..>2020-05-24 16:02 23M 
[   ]agda-2.6.1-39.0-pent..>2020-05-24 16:02 566  
[   ]agda-2.6.1-45.0-i686..>2020-05-29 21:50 23M 
[   ]agda-2.6.1-45.0-i686..>2020-05-29 21:50 310  
[   ]agda-2.6.1-45.0-pent..>2020-05-29 21:49 23M 
[   ]agda-2.6.1-45.0-pent..>2020-05-29 21:49 310  
[   ]agda-2.6.1-46.0-i686..>2020-05-30 08:32 23M 
[   ]agda-2.6.1-46.0-i686..>2020-05-30 08:32 566  
[   ]agda-2.6.1-46.0-pent..>2020-05-30 08:14 23M 
[   ]agda-2.6.1-46.0-pent..>2020-05-30 08:14 310  
[   ]agda-2.6.1-47.0-i686..>2020-06-05 00:47 23M 
[   ]agda-2.6.1-47.0-i686..>2020-06-05 00:47 310  
[   ]agda-2.6.1-49.0-i686..>2020-06-08 17:33 23M 
[   ]agda-2.6.1-49.0-i686..>2020-06-08 17:33 310  
[   ]agda-2.6.1-49.0-pent..>2020-06-08 15:27 23M 
[   ]agda-2.6.1-49.0-pent..>2020-06-08 15:27 310  
[   ]agda-2.6.1-50.0-pent..>2020-06-10 23:47 23M 
[   ]agda-2.6.1-50.0-pent..>2020-06-10 23:47 566  
[   ]agda-2.6.1-52.0-pent..>2020-06-13 12:37 23M 
[   ]agda-2.6.1-52.0-pent..>2020-06-13 12:37 566  
[   ]agda-2.6.1-58.0-i686..>2020-06-19 22:29 23M 
[   ]agda-2.6.1-58.0-i686..>2020-06-19 22:29 310  
[   ]agda-2.6.1-58.0-pent..>2020-06-19 22:29 23M 
[   ]agda-2.6.1-58.0-pent..>2020-06-19 22:29 310  
[   ]agda-2.6.1-60.0-pent..>2020-06-20 23:51 23M 
[   ]agda-2.6.1-60.0-pent..>2020-06-20 23:51 310  
[   ]agda-2.6.1-61.0-i686..>2020-06-22 12:08 23M 
[   ]agda-2.6.1-61.0-i686..>2020-06-22 12:08 310  
[   ]agda-2.6.1-61.0-pent..>2020-06-21 18:25 23M 
[   ]agda-2.6.1-61.0-pent..>2020-06-21 18:25 310  
[   ]agda-2.6.1-66.0-i686..>2020-06-27 18:22 23M 
[   ]agda-2.6.1-66.0-i686..>2020-06-27 18:22 566  
[   ]agda-2.6.1-66.0-pent..>2020-06-28 10:47 23M 
[   ]agda-2.6.1-66.0-pent..>2020-06-28 10:47 310  
[   ]agda-2.6.1-67.0-i686..>2020-06-30 11:41 23M 
[   ]agda-2.6.1-67.0-i686..>2020-06-30 11:41 310  
[   ]agda-2.6.1-67.0-pent..>2020-06-30 12:01 23M 
[   ]agda-2.6.1-67.0-pent..>2020-06-30 12:01 566  
[   ]agda-2.6.1-68.0-i686..>2020-08-02 18:25 23M 
[   ]agda-2.6.1-68.0-i686..>2020-08-02 18:25 310  
[   ]agda-2.6.1-68.0-pent..>2020-07-31 11:18 23M 
[   ]agda-2.6.1-68.0-pent..>2020-07-31 11:18 310  
[   ]agda-2.6.1-81.0-pent..>2020-08-09 21:20 23M 
[   ]agda-2.6.1-81.0-pent..>2020-08-09 21:20 310  
[   ]agda-2.6.1-82.0-i686..>2020-08-10 00:29 23M 
[   ]agda-2.6.1-82.0-i686..>2020-08-10 00:29 310  
[   ]agda-2.6.1-82.0-pent..>2020-08-10 00:29 23M 
[   ]agda-2.6.1-82.0-pent..>2020-08-10 00:29 310  
[   ]agda-2.6.1-83.0-i686..>2020-08-10 08:11 23M 
[   ]agda-2.6.1-83.0-i686..>2020-08-10 08:11 566  
[   ]agda-2.6.1-83.0-pent..>2020-08-10 08:07 23M 
[   ]agda-2.6.1-83.0-pent..>2020-08-10 08:07 310  
[   ]agda-2.6.1-84.0-i686..>2020-08-10 18:31 23M 
[   ]agda-2.6.1-84.0-i686..>2020-08-10 18:31 310  
[   ]agda-2.6.1-84.0-pent..>2020-08-10 18:32 23M 
[   ]agda-2.6.1-84.0-pent..>2020-08-10 18:32 310  
[   ]agda-2.6.1-85.0-i686..>2020-08-11 09:56 23M 
[   ]agda-2.6.1-85.0-i686..>2020-08-11 09:56 310  
[   ]agda-2.6.1-85.0-pent..>2020-08-11 09:57 23M 
[   ]agda-2.6.1-85.0-pent..>2020-08-11 09:57 310  
[   ]agda-2.6.1-86.0-i686..>2020-08-13 11:41 23M 
[   ]agda-2.6.1-86.0-i686..>2020-08-13 11:41 310  
[   ]agda-2.6.1-87.0-i686..>2020-08-13 15:32 23M 
[   ]agda-2.6.1-87.0-i686..>2020-08-13 15:32 310  
[   ]agda-2.6.1-87.0-pent..>2020-08-13 15:32 23M 
[   ]agda-2.6.1-87.0-pent..>2020-08-13 15:32 310  
[   ]agda-2.6.1-88.0-pent..>2020-08-14 23:56 23M 
[   ]agda-2.6.1-88.0-pent..>2020-08-14 23:56 566  
[   ]agda-2.6.1-89.0-i686..>2020-08-15 20:00 23M 
[   ]agda-2.6.1-89.0-i686..>2020-08-15 20:00 310  
[   ]agda-2.6.1-89.0-pent..>2020-08-15 23:07 23M 
[   ]agda-2.6.1-89.0-pent..>2020-08-15 23:07 566  
[   ]agda-2.6.1-92.0-pent..>2020-08-19 07:12 25M 
[   ]agda-2.6.1-92.0-pent..>2020-08-19 07:12 566  
[   ]agda-2.6.1-93.0-pent..>2020-08-20 20:46 25M 
[   ]agda-2.6.1-93.0-pent..>2020-08-20 20:46 566  
[   ]agda-2.6.1-95.0-i686..>2020-08-23 14:03 25M 
[   ]agda-2.6.1-95.0-i686..>2020-08-23 14:03 566  
[   ]agda-2.6.1-96.0-pent..>2020-08-24 03:26 25M 
[   ]agda-2.6.1-96.0-pent..>2020-08-24 03:26 566  
[   ]agda-2.6.1-97.0-i686..>2020-08-25 01:14 25M 
[   ]agda-2.6.1-97.0-i686..>2020-08-25 01:14 566  
[   ]agda-2.6.1-97.0-pent..>2020-08-24 12:44 25M 
[   ]agda-2.6.1-97.0-pent..>2020-08-24 12:44 566  
[   ]agda-2.6.1-98.0-i686..>2020-08-29 07:37 25M 
[   ]agda-2.6.1-98.0-i686..>2020-08-29 07:37 310  
[   ]agda-2.6.1-98.0-pent..>2020-08-28 17:50 25M 
[   ]agda-2.6.1-98.0-pent..>2020-08-28 17:50 310  
[   ]agda-2.6.1-99.0-i686..>2020-08-30 19:50 25M 
[   ]agda-2.6.1-99.0-i686..>2020-08-30 19:50 566  
[   ]agda-2.6.1-99.0-pent..>2020-08-31 05:21 25M 
[   ]agda-2.6.1-99.0-pent..>2020-08-31 05:21 566  
[   ]agda-2.6.1-102.0-i68..>2020-09-04 11:59 25M 
[   ]agda-2.6.1-102.0-i68..>2020-09-04 11:59 310  
[   ]agda-2.6.1-102.0-pen..>2020-09-04 12:00 25M 
[   ]agda-2.6.1-102.0-pen..>2020-09-04 12:00 310  
[   ]agda-2.6.1.1-11.0-i6..>2020-09-29 04:51 25M 
[   ]agda-2.6.1.1-11.0-i6..>2020-09-29 04:51 566  
[   ]agda-2.6.1.1-14.0-pe..>2020-10-06 04:16 25M 
[   ]agda-2.6.1.1-14.0-pe..>2020-10-06 04:16 566  
[   ]agda-2.6.1.1-18.0-i6..>2020-10-11 18:31 25M 
[   ]agda-2.6.1.1-18.0-i6..>2020-10-11 18:31 310  
[   ]agda-2.6.1.1-18.0-pe..>2020-10-11 18:31 25M 
[   ]agda-2.6.1.1-18.0-pe..>2020-10-11 18:31 310  
[   ]agda-2.6.1.1-31.0-i6..>2020-11-06 09:41 25M 
[   ]agda-2.6.1.1-31.0-i6..>2020-11-06 09:41 310  
[   ]agda-2.6.1.1-31.0-pe..>2020-11-06 09:58 25M 
[   ]agda-2.6.1.1-31.0-pe..>2020-11-06 09:58 566  
[   ]agda-2.6.1.1-32.0-i6..>2020-11-07 20:57 25M 
[   ]agda-2.6.1.1-32.0-i6..>2020-11-07 20:57 310  
[   ]agda-2.6.1.1-32.0-pe..>2020-11-07 21:15 25M 
[   ]agda-2.6.1.1-32.0-pe..>2020-11-07 21:15 566  
[   ]agda-2.6.1.1-33.0-i6..>2020-11-08 15:14 25M 
[   ]agda-2.6.1.1-33.0-i6..>2020-11-08 15:14 310  
[   ]agda-2.6.1.1-33.0-pe..>2020-11-08 15:14 25M 
[   ]agda-2.6.1.1-33.0-pe..>2020-11-08 15:14 310  
[   ]agda-2.6.1.2-1.0-i68..>2020-11-10 09:27 25M 
[   ]agda-2.6.1.2-1.0-i68..>2020-11-10 09:27 566  
[   ]agda-2.6.1.2-2.0-pen..>2020-11-11 18:59 25M 
[   ]agda-2.6.1.2-2.0-pen..>2020-11-11 18:59 566  
[   ]agda-2.6.1.2-3.0-i68..>2020-11-18 06:43 25M 
[   ]agda-2.6.1.2-3.0-i68..>2020-11-18 06:43 310  
[   ]agda-2.6.1.2-4.0-pen..>2020-11-18 11:41 25M 
[   ]agda-2.6.1.2-4.0-pen..>2020-11-18 11:41 310  
[   ]agda-2.6.1.2-6.0-pen..>2020-11-21 13:48 25M 
[   ]agda-2.6.1.2-6.0-pen..>2020-11-21 13:48 310  
[   ]agda-2.6.1.2-7.0-pen..>2020-11-26 13:29 25M 
[   ]agda-2.6.1.2-7.0-pen..>2020-11-26 13:29 566  
[   ]agda-2.6.1.2-8.0-pen..>2020-11-26 16:10 25M 
[   ]agda-2.6.1.2-8.0-pen..>2020-11-26 16:10 566  
[   ]agda-2.6.1.2-9.0-i68..>2020-11-27 16:42 25M 
[   ]agda-2.6.1.2-9.0-i68..>2020-11-27 16:42 310  
[   ]agda-2.6.1.2-10.0-i6..>2020-11-30 01:17 25M 
[   ]agda-2.6.1.2-10.0-i6..>2020-11-30 01:17 566  
[   ]agda-2.6.1.2-10.0-pe..>2020-11-30 00:58 25M 
[   ]agda-2.6.1.2-10.0-pe..>2020-11-30 00:58 310  
[   ]agda-2.6.1.2-11.0-pe..>2020-12-03 19:43 25M 
[   ]agda-2.6.1.2-11.0-pe..>2020-12-03 19:43 310  
[   ]agda-2.6.1.2-12.0-pe..>2020-12-06 07:29 25M 
[   ]agda-2.6.1.2-12.0-pe..>2020-12-06 07:29 310  
[   ]agda-2.6.1.2-13.0-pe..>2020-12-09 05:05 25M 
[   ]agda-2.6.1.2-13.0-pe..>2020-12-09 05:05 310  
[   ]agda-2.6.1.2-14.0-pe..>2020-12-10 04:15 25M 
[   ]agda-2.6.1.2-14.0-pe..>2020-12-10 04:15 310  
[   ]agda-2.6.1.2-15.0-i6..>2020-12-16 05:29 25M 
[   ]agda-2.6.1.2-15.0-i6..>2020-12-16 05:29 310  
[   ]agda-2.6.1.2-29.0-i6..>2020-12-31 04:07 25M 
[   ]agda-2.6.1.2-29.0-i6..>2020-12-31 04:07 310  
[   ]agda-2.6.1.2-32.0-pe..>2021-01-03 18:26 25M 
[   ]agda-2.6.1.2-32.0-pe..>2021-01-03 18:26 310  
[   ]agda-2.6.1.2-39.0-pe..>2021-01-10 12:37 25M 
[   ]agda-2.6.1.2-39.0-pe..>2021-01-10 12:37 566  
[   ]agda-2.6.1.2-62.0-i6..>2021-02-16 17:11 25M 
[   ]agda-2.6.1.2-62.0-i6..>2021-02-16 17:11 310  
[   ]agda-2.6.1.2-62.0-pe..>2021-02-16 17:15 25M 
[   ]agda-2.6.1.2-62.0-pe..>2021-02-16 17:15 310  
[   ]agda-2.6.2-1.0-penti..>2021-07-04 12:16 14M 
[   ]agda-2.6.2-1.0-penti..>2021-07-04 12:16 310