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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-hott_8.18-3build..> 2024-04-08 03:57  3.1K  tar archive
 coq-hott_8.18-3build..> 2024-04-08 03:57  2.1K  
 coq-hott_8.18.orig.t..> 2023-09-04 04:09  888K  GZIP compressed docume>
 coq-hott_8.19-2build..> 2024-09-07 11:43  3.0K  tar archive
 coq-hott_8.19-2build..> 2024-09-07 11:43  2.0K  
 coq-hott_8.19.orig.t..> 2024-05-02 07:53  961K  GZIP compressed docume>
 coq-hott_9.0-1build1..> 2025-02-18 16:25  3.0K  tar archive
 coq-hott_9.0-1build1..> 2025-02-18 16:25  2.0K  
 coq-hott_9.0.orig.ta..> 2025-02-17 20:39  1.1M  GZIP compressed docume>
 libcoq-hott_8.18-3bu..> 2024-04-08 03:57   14M  
 libcoq-hott_8.19-2bu..> 2024-09-07 11:44   15M  
 libcoq-hott_9.0-1bui..> 2025-02-18 16:25   16M