Index of /coqPackages.metarocq-template-pcuic/

../
2026-03-11.log                                     11-Mar-2026 17:28                6825
2026-03-19.log                                     19-Mar-2026 15:32                6827
2026-03-28.log                                     28-Mar-2026 17:15                6827
2026-06-16.log                                     16-Jun-2026 15:36                6827
2026-06-25.log                                     25-Jun-2026 11:17                6827
2026-07-04.log                                     04-Jul-2026 01:59                6827
2026-07-12.log                                     12-Jul-2026 20:17                6343
2026-07-21.log                                     21-Jul-2026 23:27                6977
2026-07-30.log                                     30-Jul-2026 23:12                6977
2026-08-09.log                                     09-Aug-2026 06:45                6977
2026-08-18.log                                     18-Aug-2026 00:06                6977
2026-08-27.log                                     27-Aug-2026 13:34                7173
2026-09-06.log                                     06-Sep-2026 12:01                7173
2026-09-17.log                                     17-Sep-2026 10:54                7173
2026-09-27.log                                     27-Sep-2026 18:10                7220