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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-hott_8.18-3build4_amd64.deb13.8 MiB2024-Apr-08 10:57
libcoq-hott_9.0-1build1_amd64.deb16.1 MiB2025-Feb-19 00:25
libcoq-hott_9.0-1build2_amd64.deb16.1 MiB2025-Jun-20 16:23
libcoq-hott_9.0-1build5_amd64.deb16.1 MiB2026-Mar-04 00:26
libcoq-hott_9.0-1build6_amd64.deb16.1 MiB2026-Jul-09 00:23