Index of /archive/pool/universe/c/coq-interval

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]coq-interval_4.6.1-2build3.debian.tar.xz17-Feb-2023 07:29 8.7K
[TXT]coq-interval_4.6.1-2build3.dsc17-Feb-2023 07:29 2.1K
[   ]coq-interval_4.6.1.orig.tar.bz213-Dec-2022 17:19 253K
[   ]coq-interval_4.8.0-1.debian.tar.xz03-Aug-2023 18:59 8.6K
[TXT]coq-interval_4.8.0-1.dsc03-Aug-2023 18:59 2.1K
[   ]coq-interval_4.8.0.orig.tar.bz203-Aug-2023 18:59 275K
[   ]coq-interval_4.9.0-1build5.debian.tar.xz08-Apr-2024 08:57 9.2K
[TXT]coq-interval_4.9.0-1build5.dsc08-Apr-2024 08:57 2.2K
[   ]coq-interval_4.9.0.orig.tar.bz226-Dec-2023 17:17 275K
[   ]coq-interval_4.11.0-1.debian.tar.xz08-Jun-2024 18:43 9.0K
[TXT]coq-interval_4.11.0-1.dsc08-Jun-2024 18:43 2.1K
[   ]coq-interval_4.11.0-1build1.debian.tar.xz15-Jun-2024 15:43 9.1K
[TXT]coq-interval_4.11.0-1build1.dsc15-Jun-2024 15:43 2.1K
[   ]coq-interval_4.11.0.orig.tar.bz208-Jun-2024 18:43 295K
[   ]libcoq-interval_4.6.1-2build3_amd64.deb17-Feb-2023 07:29 5.2M
[   ]libcoq-interval_4.8.0-1_amd64.deb03-Aug-2023 18:59 6.5M
[   ]libcoq-interval_4.9.0-1build5_amd64.deb08-Apr-2024 17:11 6.5M
[   ]libcoq-interval_4.11.0-1build1_amd64.deb16-Jun-2024 00:58 7.3M
[   ]libcoq-interval_4.11.0-1_amd64.deb08-Jun-2024 18:43 7.4M