Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
coq-hott_8.16-2.debi..> 2023-01-25 10:12 2.5K
![[TXT]](/icons/text.gif){kind=icon}
coq-hott_8.16-2.dsc 2023-01-25 10:12 2.0K
![[ ]](/icons/compressed.gif){kind=icon}
coq-hott_8.16.orig.t..> 2022-09-06 12:09 848K
coq-hott_9.0-1.debia..> 2025-02-17 19:37 2.9K
coq-hott_9.0-1.dsc 2025-02-17 19:37 2.0K
coq-hott_9.0.orig.ta..> 2025-02-17 19:37 1.1M
libcoq-hott_8.16-2+b..> 2023-02-13 08:27 13M
libcoq-hott_9.0-1+b1..> 2025-02-18 03:15 14M