/ubuntu/ubuntu/pool/universe/c/coq-hott/</h1>
<table id="list"><thead><tr><th style="width:55%"><a href="?C=N&amp;O=A">File Name</a>&nbsp;<a href="?C=N&amp;O=D">&nbsp;&darr;&nbsp;</a></th><th style="width:20%"><a href="?C=S&amp;O=A">File Size</a>&nbsp;<a href="?C=S&amp;O=D">&nbsp;&darr;&nbsp;</a></th><th style="width:25%"><a href="?C=M&amp;O=A">Date</a>&nbsp;<a href="?C=M&amp;O=D">&nbsp;&darr;&nbsp;</a></th></tr></thead>
<tbody><tr><td class="link"><a href="../?C=M&amp;O=D">Parent directory/</a></td><td class="size">-</td><td class="date">-</td></tr>
<tr><td class="link"><a href="libcoq-hott_8.18-3build4_amd64.deb" title="libcoq-hott_8.18-3build4_amd64.deb">libcoq-hott_8.18-3build4_amd64.deb</a></td><td class="size">           14458730</td><td class="date">2024-Apr-08 07:57</td></tr>
<tr><td class="link"><a href="coq-hott_8.18-3build4.debian.tar.xz" title="coq-hott_8.18-3build4.debian.tar.xz">coq-hott_8.18-3build4.debian.tar.xz</a></td><td class="size">               3128</td><td class="date">2024-Apr-08 07:57</td></tr>
<tr><td class="link"><a href="coq-hott_8.18-3build4.dsc" title="coq-hott_8.18-3build4.dsc">coq-hott_8.18-3build4.dsc</a></td><td class="size">               2107</td><td class="date">2024-Apr-08 07:57</td></tr>
<tr><td class="link"><a href="libcoq-hott_8.18-1_amd64.deb" title="libcoq-hott_8.18-1_amd64.deb">libcoq-hott_8.18-1_amd64.deb</a></td><td class="size">           16778204</td><td class="date">2023-Sep-04 08:50</td></tr>
<tr><td class="link"><a href="coq-hott_8.18-1.dsc" title="coq-hott_8.18-1.dsc">coq-hott_8.18-1.dsc</a></td><td class="size">               2029</td><td class="date">2023-Sep-04 08:09</td></tr>
<tr><td class="link"><a href="coq-hott_8.18.orig.tar.gz" title="coq-hott_8.18.orig.tar.gz">coq-hott_8.18.orig.tar.gz</a></td><td class="size">             909335</td><td class="date">2023-Sep-04 08:09</td></tr>
<tr><td class="link"><a href="coq-hott_8.18-1.debian.tar.xz" title="coq-hott_8.18-1.debian.tar.xz">coq-hott_8.18-1.debian.tar.xz</a></td><td class="size">               2844</td><td class="date">2023-Sep-04 08:09</td></tr>
<tr><td class="link"><a href="libcoq-hott_8.16-2build2_amd64.deb" title="libcoq-hott_8.16-2build2_amd64.deb">libcoq-hott_8.16-2build2_amd64.deb</a></td><td class="size">           16450642</td><td class="date">2023-Feb-16 18:50</td></tr>
<tr><td class="link"><a href="coq-hott_8.16-2build2.debian.tar.xz" title="coq-hott_8.16-2build2.debian.tar.xz">coq-hott_8.16-2build2.debian.tar.xz</a></td><td class="size">               2648</td><td class="date">2023-Feb-16 18:50</td></tr>
<tr><td class="link"><a href="coq-hott_8.16-2build2.dsc" title="coq-hott_8.16-2build2.dsc">coq-hott_8.16-2build2.dsc</a></td><td class="size">               2028</td><td class="date">2023-Feb-16 18:50</td></tr>
<tr><td class="link"><a href="coq-hott_8.16.orig.tar.gz" title="coq-hott_8.16.orig.tar.gz">coq-hott_8.16.orig.tar.gz</a></td><td class="size">             868101</td><td class="date">2022-Nov-06 03:17</td></tr>
</tbody></table><br />Open Source Mirror funded by <a href="https://acorn-ns.ca">ACORN-NS</a>, hosting provided by <a href="https://dal.ca">Dalhousie University</a> - ITS Research Computing Team