Index of /agdaPackages.cubical-mini/

../
2026-01-07.log                                     07-Jan-2026 19:38                 370
2026-01-14.log                                     14-Jan-2026 10:57                 370
2026-01-20.log                                     20-Jan-2026 19:35                 370
2026-01-27.log                                     27-Jan-2026 17:22                 370
2026-02-03.log                                     03-Feb-2026 12:12                 370
2026-02-10.log                                     10-Feb-2026 15:45                 370
2026-02-18.log                                     18-Feb-2026 01:47                 370
2026-02-25.log                                     25-Feb-2026 09:08                 370
2026-03-05.log                                     05-Mar-2026 23:24                 370
2026-03-13.log                                     13-Mar-2026 18:48                 370
2026-03-22.log                                     22-Mar-2026 09:48                 370
2026-03-31.log                                     31-Mar-2026 05:51                 370
2026-04-08.log                                     08-Apr-2026 16:21                 370
2026-04-16.log                                     16-Apr-2026 08:51                 370
2026-04-24.log                                     24-Apr-2026 22:55                 370
2026-05-03.log                                     03-May-2026 16:43                 370
2026-05-12.log                                     12-May-2026 03:16                 370
2026-05-20.log                                     20-May-2026 09:40                 370
2026-05-28.log                                     28-May-2026 21:51                 370
2026-06-07.log                                     07-Jun-2026 03:45                 370
2026-06-16.log                                     16-Jun-2026 03:28                 370
2026-06-24.log                                     24-Jun-2026 22:02                 370
2026-07-03.log                                     03-Jul-2026 16:43                 370
2026-07-12.log                                     12-Jul-2026 09:15                 370
2026-07-21.log                                     21-Jul-2026 07:56                 370
2026-07-30.log                                     30-Jul-2026 12:05                 370
2026-08-08.log                                     08-Aug-2026 19:25                 370
2026-08-17.log                                     17-Aug-2026 06:36                 370
2026-08-27.log                                     27-Aug-2026 01:52                 370
2026-09-06.log                                     06-Sep-2026 00:02                 370
2026-09-16.log                                     16-Sep-2026 16:42                 370
2026-09-27.log                                     27-Sep-2026 06:11                 370