Index of /ubuntu/ubuntu/ubuntu/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  
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.orig.t..> 2024-05-02 14:53  961K  
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  
libcoq-hott_8.19-1bu..> 2024-05-13 21:40   15M