/ubuntu/ubuntu/pool/universe/c/coq-interval/</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-interval_4.9.0-1build5_amd64.deb" title="libcoq-interval_4.9.0-1build5_amd64.deb">libcoq-interval_4.9.0-1build5_amd64.deb</a></td><td class="size">            6834446</td><td class="date">2024-Apr-08 16:11</td></tr>
<tr><td class="link"><a href="coq-interval_4.9.0-1build5.dsc" title="coq-interval_4.9.0-1build5.dsc">coq-interval_4.9.0-1build5.dsc</a></td><td class="size">               2265</td><td class="date">2024-Apr-08 07:57</td></tr>
<tr><td class="link"><a href="coq-interval_4.9.0-1build5.debian.tar.xz" title="coq-interval_4.9.0-1build5.debian.tar.xz">coq-interval_4.9.0-1build5.debian.tar.xz</a></td><td class="size">               9448</td><td class="date">2024-Apr-08 07:57</td></tr>
<tr><td class="link"><a href="coq-interval_4.9.0.orig.tar.bz2" title="coq-interval_4.9.0.orig.tar.bz2">coq-interval_4.9.0.orig.tar.bz2</a></td><td class="size">             282047</td><td class="date">2023-Dec-26 17:17</td></tr>
<tr><td class="link"><a href="libcoq-interval_4.8.0-1_amd64.deb" title="libcoq-interval_4.8.0-1_amd64.deb">libcoq-interval_4.8.0-1_amd64.deb</a></td><td class="size">            6776124</td><td class="date">2023-Aug-03 17:59</td></tr>
<tr><td class="link"><a href="coq-interval_4.8.0-1.debian.tar.xz" title="coq-interval_4.8.0-1.debian.tar.xz">coq-interval_4.8.0-1.debian.tar.xz</a></td><td class="size">               8848</td><td class="date">2023-Aug-03 17:59</td></tr>
<tr><td class="link"><a href="coq-interval_4.8.0-1.dsc" title="coq-interval_4.8.0-1.dsc">coq-interval_4.8.0-1.dsc</a></td><td class="size">               2187</td><td class="date">2023-Aug-03 17:59</td></tr>
<tr><td class="link"><a href="coq-interval_4.8.0.orig.tar.bz2" title="coq-interval_4.8.0.orig.tar.bz2">coq-interval_4.8.0.orig.tar.bz2</a></td><td class="size">             281682</td><td class="date">2023-Aug-03 17:59</td></tr>
<tr><td class="link"><a href="libcoq-interval_4.6.1-2build3_amd64.deb" title="libcoq-interval_4.6.1-2build3_amd64.deb">libcoq-interval_4.6.1-2build3_amd64.deb</a></td><td class="size">            5423114</td><td class="date">2023-Feb-17 07:29</td></tr>
<tr><td class="link"><a href="coq-interval_4.6.1-2build3.dsc" title="coq-interval_4.6.1-2build3.dsc">coq-interval_4.6.1-2build3.dsc</a></td><td class="size">               2186</td><td class="date">2023-Feb-17 07:29</td></tr>
<tr><td class="link"><a href="coq-interval_4.6.1-2build3.debian.tar.xz" title="coq-interval_4.6.1-2build3.debian.tar.xz">coq-interval_4.6.1-2build3.debian.tar.xz</a></td><td class="size">               8864</td><td class="date">2023-Feb-17 07:29</td></tr>
<tr><td class="link"><a href="coq-interval_4.6.1.orig.tar.bz2" title="coq-interval_4.6.1.orig.tar.bz2">coq-interval_4.6.1.orig.tar.bz2</a></td><td class="size">             259459</td><td class="date">2022-Dec-13 17:19</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