Index of /ubuntu/pool/universe/c/coq-reduction-effects/
../
coq-reduction-effects_0.1.5-1build3.debian.tar.xz 08-Apr-2024 07:57 1916
coq-reduction-effects_0.1.5-1build3.dsc 08-Apr-2024 07:57 2292
coq-reduction-effects_0.1.5-5build10.debian.tar.xz 29-Jan-2026 19:55 2184
coq-reduction-effects_0.1.5-5build10.dsc 29-Jan-2026 19:55 2217
coq-reduction-effects_0.1.5-5build11.debian.tar.xz 03-Mar-2026 21:25 2228
coq-reduction-effects_0.1.5-5build11.dsc 03-Mar-2026 21:25 2217
coq-reduction-effects_0.1.5-5build12.debian.tar.xz 08-Jul-2026 15:26 2260
coq-reduction-effects_0.1.5-5build12.dsc 08-Jul-2026 15:26 2217
coq-reduction-effects_0.1.5-5build7.debian.tar.xz 18-Feb-2025 21:25 2120
coq-reduction-effects_0.1.5-5build7.dsc 18-Feb-2025 21:25 2213
coq-reduction-effects_0.1.5-5build8.debian.tar.xz 20-Jun-2025 13:22 2152
coq-reduction-effects_0.1.5-5build8.dsc 20-Jun-2025 13:22 2213
coq-reduction-effects_0.1.5-5build9.debian.tar.xz 05-Jan-2026 20:02 2172
coq-reduction-effects_0.1.5-5build9.dsc 05-Jan-2026 20:02 2213
coq-reduction-effects_0.1.5.orig.tar.gz 22-Dec-2023 17:26 10K
coq-reduction-effects_0.1.6-4.debian.tar.xz 28-Jul-2026 17:29 2348
coq-reduction-effects_0.1.6-4.dsc 28-Jul-2026 17:29 2223
coq-reduction-effects_0.1.6-4build1.debian.tar.xz 26-Aug-2026 16:19 2416
coq-reduction-effects_0.1.6-4build1.dsc 26-Aug-2026 16:19 2210
coq-reduction-effects_0.1.6-4build2.debian.tar.xz 27-Aug-2026 14:19 2424
coq-reduction-effects_0.1.6-4build2.dsc 27-Aug-2026 14:19 2210
coq-reduction-effects_0.1.6-4build3.debian.tar.xz 30-Aug-2026 06:53 2440
coq-reduction-effects_0.1.6-4build3.dsc 30-Aug-2026 06:53 2210
coq-reduction-effects_0.1.6-4build4.debian.tar.xz 10-Sep-2026 07:03 2448
coq-reduction-effects_0.1.6-4build4.dsc 10-Sep-2026 07:03 2210
coq-reduction-effects_0.1.6-4build5.debian.tar.xz 18-Sep-2026 12:50 2496
coq-reduction-effects_0.1.6-4build5.dsc 18-Sep-2026 12:50 2210
coq-reduction-effects_0.1.6.orig.tar.gz 28-Jul-2026 17:29 10K
libcoq-reduction-effects_0.1.5-1build3_amd64.deb 08-Apr-2024 07:57 14K
libcoq-reduction-effects_0.1.5-5build10_amd64.deb 29-Jan-2026 20:01 15K
libcoq-reduction-effects_0.1.5-5build10_amd64v3..> 29-Jan-2026 20:01 15K
libcoq-reduction-effects_0.1.5-5build11_amd64.deb 03-Mar-2026 21:26 15K
libcoq-reduction-effects_0.1.5-5build11_amd64v3..> 03-Mar-2026 21:26 15K
libcoq-reduction-effects_0.1.5-5build11_arm64.deb 03-Mar-2026 21:27 15K
libcoq-reduction-effects_0.1.5-5build12_amd64.deb 08-Jul-2026 21:23 16K
libcoq-reduction-effects_0.1.5-5build12_amd64v3..> 08-Jul-2026 21:25 16K
libcoq-reduction-effects_0.1.5-5build12_arm64.deb 08-Jul-2026 21:28 16K
libcoq-reduction-effects_0.1.5-5build7_amd64.deb 18-Feb-2025 21:25 15K
libcoq-reduction-effects_0.1.5-5build8_amd64.deb 20-Jun-2025 13:23 15K
libcoq-reduction-effects_0.1.5-5build8_arm64.deb 20-Jun-2025 13:24 16K
libcoq-reduction-effects_0.1.5-5build9_amd64.deb 05-Jan-2026 20:07 15K
libcoq-reduction-effects_0.1.5-5build9_amd64v3.deb 05-Jan-2026 20:07 15K
libcoq-reduction-effects_0.1.6-4_amd64.deb 25-Aug-2026 17:59 16K
libcoq-reduction-effects_0.1.6-4_amd64v3.deb 25-Aug-2026 17:59 16K
libcoq-reduction-effects_0.1.6-4_arm64.deb 26-Aug-2026 03:40 16K
libcoq-reduction-effects_0.1.6-4build1_amd64.deb 27-Aug-2026 12:33 16K
libcoq-reduction-effects_0.1.6-4build1_amd64v3.deb 27-Aug-2026 12:33 16K
libcoq-reduction-effects_0.1.6-4build2_arm64.deb 27-Aug-2026 14:20 16K
libcoq-reduction-effects_0.1.6-4build3_amd64.deb 30-Aug-2026 06:53 16K
libcoq-reduction-effects_0.1.6-4build3_amd64v3.deb 30-Aug-2026 07:14 16K
libcoq-reduction-effects_0.1.6-4build3_arm64.deb 30-Aug-2026 07:14 16K
libcoq-reduction-effects_0.1.6-4build4_amd64.deb 10-Sep-2026 07:33 16K
libcoq-reduction-effects_0.1.6-4build4_amd64v3.deb 10-Sep-2026 07:33 16K
libcoq-reduction-effects_0.1.6-4build4_arm64.deb 10-Sep-2026 07:33 16K
libcoq-reduction-effects_0.1.6-4build5_amd64.deb 18-Sep-2026 14:17 16K
libcoq-reduction-effects_0.1.6-4build5_amd64v3.deb 18-Sep-2026 13:06 16K
libcoq-reduction-effects_0.1.6-4build5_arm64.deb 18-Sep-2026 14:18 16K