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

Name                    Last modified      Size  Description
Parent Directory                             -   
coq-hott_8.16-2build..> 2023-02-16 20:50  2.6K  
coq-hott_8.16-2build..> 2023-02-16 20:50  2.0K  
coq-hott_8.16.orig.t..> 2022-11-06 05: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-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  
libcoq-hott_8.16-2bu..> 2023-02-16 20:50   16M  
libcoq-hott_8.18-1_a..> 2023-09-04 11:50   16M  
libcoq-hott_8.18-3bu..> 2024-04-08 10:57   14M