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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-hott_8.16-2build..> 16-Feb-2023 18:50  2.0K  
 coq-hott_8.19-1build..> 13-May-2024 18:39  2.0K  
 coq-hott_8.18-1.dsc     04-Sep-2023 08:09  2.0K  
 coq-hott_8.18-3build..> 08-Apr-2024 07:57  2.1K  
 coq-hott_8.16-2build..> 16-Feb-2023 18:50  2.6K  
 coq-hott_8.18-1.debi..> 04-Sep-2023 08:09  2.8K  
 coq-hott_8.19-1build..> 13-May-2024 18:39  2.9K  
 coq-hott_8.18-3build..> 08-Apr-2024 07:57  3.1K  
 coq-hott_8.16.orig.t..> 06-Nov-2022 03:17  848K  
 coq-hott_8.18.orig.t..> 04-Sep-2023 08:09  888K  
 coq-hott_8.19.orig.t..> 02-May-2024 11:53  961K  
 libcoq-hott_8.18-3bu..> 08-Apr-2024 07:57   14M  
 libcoq-hott_8.19-1bu..> 13-May-2024 18:40   15M  
 libcoq-hott_8.16-2bu..> 16-Feb-2023 18:50   16M  
 libcoq-hott_8.18-1_a..> 04-Sep-2023 08:50   16M