Index of /ubuntu/pool/universe/c/coq-hott

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-hott_8.16-2build..> 2023-02-16 21:50  2.6K  
 coq-hott_8.16-2build..> 2023-02-16 21:50  2.0K  
 coq-hott_8.16.orig.t..> 2022-11-06 06:17  848K  
 coq-hott_8.18-1.debi..> 2023-09-04 11:09  2.8K  
 coq-hott_8.18-1.dsc     2023-09-04 11:09  2.0K  
 coq-hott_8.18-1build..> 2023-11-06 19:14  2.9K  
 coq-hott_8.18-1build..> 2023-11-06 19:14  2.0K  
 coq-hott_8.18-1build..> 2023-11-23 03:05  2.9K  
 coq-hott_8.18-1build..> 2023-11-23 03:05  2.0K  
 coq-hott_8.18-3.debi..> 2023-12-22 20:26  2.8K  
 coq-hott_8.18-3.dsc     2023-12-22 20:26  2.0K  
 coq-hott_8.18-3build..> 2023-12-23 04:42  2.9K  
 coq-hott_8.18-3build..> 2023-12-23 04:42  2.0K  
 coq-hott_8.18-3build..> 2024-03-24 03:53  3.0K  
 coq-hott_8.18-3build..> 2024-03-24 03:53  2.1K  
 coq-hott_8.18-3build..> 2024-03-31 21:36  3.0K  
 coq-hott_8.18-3build..> 2024-03-31 21:36  2.1K  
 coq-hott_8.18-3build..> 2024-04-08 10:57  3.1K  
 coq-hott_8.18-3build..> 2024-04-08 10:57  2.1K  
 coq-hott_8.18.orig.t..> 2023-09-04 11:09  888K  
 coq-hott_8.19-1.debi..> 2024-05-02 14:53  2.8K  
 coq-hott_8.19-1.dsc     2024-05-02 14:53  2.0K  
 coq-hott_8.19-1build..> 2024-05-02 23:28  2.9K  
 coq-hott_8.19-1build..> 2024-05-02 23:28  2.0K  
 coq-hott_8.19-1build..> 2024-05-13 21:39  2.9K  
 coq-hott_8.19-1build..> 2024-05-13 21:39  2.0K  
 coq-hott_8.19-1build..> 2024-06-15 17:43  2.9K  
 coq-hott_8.19-1build..> 2024-06-15 17:43  2.0K  
 coq-hott_8.19-2.debi..> 2024-08-04 02:25  2.9K  
 coq-hott_8.19-2.dsc     2024-08-04 02:25  1.8K  
 coq-hott_8.19-2build..> 2024-08-15 10:47  3.0K  
 coq-hott_8.19-2build..> 2024-08-15 10:47  2.0K  
 coq-hott_8.19-2build..> 2024-09-07 02:05  3.0K  
 coq-hott_8.19-2build..> 2024-09-07 02:05  2.0K  
 coq-hott_8.19-2build..> 2024-09-07 18:43  3.0K  
 coq-hott_8.19-2build..> 2024-09-07 18:43  2.0K  
 coq-hott_8.19.orig.t..> 2024-05-02 14:53  961K  
 libcoq-hott_8.16-2bu..> 2023-02-16 21:50   16M  
 libcoq-hott_8.18-1_a..> 2023-09-04 11:50   16M  
 libcoq-hott_8.18-1bu..> 2023-11-06 19:44   16M  
 libcoq-hott_8.18-1bu..> 2023-11-23 03:05   16M  
 libcoq-hott_8.18-3_a..> 2023-12-22 20:27   22M  
 libcoq-hott_8.18-3bu..> 2023-12-23 04:42   18M  
 libcoq-hott_8.18-3bu..> 2024-03-24 03:53   14M  
 libcoq-hott_8.18-3bu..> 2024-03-31 22:32   14M  
 libcoq-hott_8.18-3bu..> 2024-04-08 10:57   14M  
 libcoq-hott_8.19-1_a..> 2024-05-02 14:53   15M  
 libcoq-hott_8.19-1bu..> 2024-05-02 23:28   15M  
 libcoq-hott_8.19-1bu..> 2024-05-13 21:40   15M  
 libcoq-hott_8.19-1bu..> 2024-06-15 18:23   15M  
 libcoq-hott_8.19-2_a..> 2024-08-04 03:14   15M  
 libcoq-hott_8.19-2bu..> 2024-08-15 10:47   15M  
 libcoq-hott_8.19-2bu..> 2024-09-07 02:05   15M  
 libcoq-hott_8.19-2bu..> 2024-09-07 18:44   15M