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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] coq-hott_8.18-3build..> 2024-04-08 03:57  2.1K  
[TXT] coq-hott_9.0-1build1..> 2025-02-18 16:25  2.0K  
[TXT] coq-hott_9.0-1build2..> 2025-06-20 09:22  2.0K  
[   ] libcoq-hott_8.18-3bu..> 2024-04-08 03:57   14M  
[   ] libcoq-hott_9.0-1bui..> 2025-02-18 16:25   16M  
[   ] libcoq-hott_9.0-1bui..> 2025-06-20 09:23   16M  
[   ] coq-hott_8.18.orig.t..> 2023-09-04 04:09  888K  GZIP compressed docume>
[   ] coq-hott_9.0.orig.ta..> 2025-02-17 20:39  1.1M  GZIP compressed docume>
[   ] coq-hott_8.18-3build..> 2024-04-08 03:57  3.1K  tar archive
[   ] coq-hott_9.0-1build1..> 2025-02-18 16:25  3.0K  tar archive
[   ] coq-hott_9.0-1build2..> 2025-06-20 09:22  3.1K  tar archive