Index of /pool/main/c/coq-gappa

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[   ]coq-gappa_1.5.2-5.debian.tar.xz26-Jan-2023 13:44 2.0K
[   ]coq-gappa_1.5.2-5.dsc26-Jan-2023 13:44 2.0K
[   ]coq-gappa_1.5.2.orig.tar.bz219-Jul-2022 09:00 72K
[   ]coq-gappa_1.5.4-1.debian.tar.xz22-Dec-2023 12:07 2.1K
[   ]coq-gappa_1.5.4-1.dsc22-Dec-2023 12:07 2.0K
[   ]coq-gappa_1.5.4.orig.tar.bz222-Dec-2023 12:07 72K
[   ]libcoq-gappa_1.5.2-5+b1_amd64.deb13-Feb-2023 08:28 504K
[   ]libcoq-gappa_1.5.2-5+b1_arm64.deb13-Feb-2023 08:28 506K
[   ]libcoq-gappa_1.5.2-5+b1_armhf.deb13-Feb-2023 08:28 502K
[   ]libcoq-gappa_1.5.2-5+b1_i386.deb13-Feb-2023 08:08 500K
[   ]libcoq-gappa_1.5.4-1+b1_amd64.deb19-Mar-2024 20:47 484K
[   ]libcoq-gappa_1.5.4-1+b1_arm64.deb19-Mar-2024 20:37 487K
[   ]libcoq-gappa_1.5.4-1+b1_armhf.deb26-Mar-2024 17:08 483K
[   ]libcoq-gappa_1.5.4-1+b1_i386.deb19-Mar-2024 20:31 481K
[   ]libcoq-gappa_1.5.4-1_amd64.deb23-Dec-2023 12:47 484K
[   ]libcoq-gappa_1.5.4-1_arm64.deb23-Dec-2023 12:53 487K
[   ]libcoq-gappa_1.5.4-1_armhf.deb23-Dec-2023 12:52 483K
[   ]libcoq-gappa_1.5.4-1_i386.deb23-Dec-2023 12:47 481K
[   ]libcoq-gappa_1.5.4-1_riscv64.deb23-Dec-2023 13:23 485K