Index of /pool/universe/c/coq-reduction-effects

 Name                                                Last modified      Size  Description
 Parent Directory                                                         -   
 coq-reduction-effects_0.1.5-1build3.debian.tar.xz   2024-04-08 07:57  1.9K  
 coq-reduction-effects_0.1.5-1build3.dsc             2024-04-08 07:57  2.2K  
 coq-reduction-effects_0.1.5-5build10.debian.tar.xz  2026-01-29 19:55  2.1K  
 coq-reduction-effects_0.1.5-5build10.dsc            2026-01-29 19:55  2.2K  
 coq-reduction-effects_0.1.5-5build11.debian.tar.xz  2026-03-03 21:25  2.2K  
 coq-reduction-effects_0.1.5-5build11.dsc            2026-03-03 21:25  2.2K  
 coq-reduction-effects_0.1.5-5build7.debian.tar.xz   2025-02-18 21:25  2.1K  
 coq-reduction-effects_0.1.5-5build7.dsc             2025-02-18 21:25  2.2K  
 coq-reduction-effects_0.1.5-5build8.debian.tar.xz   2025-06-20 13:22  2.1K  
 coq-reduction-effects_0.1.5-5build8.dsc             2025-06-20 13:22  2.2K  
 coq-reduction-effects_0.1.5-5build9.debian.tar.xz   2026-01-05 20:02  2.1K  
 coq-reduction-effects_0.1.5-5build9.dsc             2026-01-05 20:02  2.2K  
 coq-reduction-effects_0.1.5.orig.tar.gz             2023-12-22 17:26   10K  
 libcoq-reduction-effects_0.1.5-1build3_arm64.deb    2024-04-08 07:57   15K  
 libcoq-reduction-effects_0.1.5-1build3_armhf.deb    2024-04-08 07:57   14K  
 libcoq-reduction-effects_0.1.5-1build3_ppc64el.deb  2024-04-08 07:57   14K  
 libcoq-reduction-effects_0.1.5-1build3_riscv64.deb  2024-04-08 07:57   14K  
 libcoq-reduction-effects_0.1.5-1build3_s390x.deb    2024-04-08 07:57   14K  
 libcoq-reduction-effects_0.1.5-5build10_arm64.deb   2026-01-29 20:01   15K  
 libcoq-reduction-effects_0.1.5-5build10_ppc64el.deb 2026-01-29 20:01   15K  
 libcoq-reduction-effects_0.1.5-5build10_riscv64.deb 2026-01-30 00:11   15K  
 libcoq-reduction-effects_0.1.5-5build10_s390x.deb   2026-01-29 20:02   15K  
 libcoq-reduction-effects_0.1.5-5build11_arm64.deb   2026-03-03 21:27   15K  
 libcoq-reduction-effects_0.1.5-5build11_ppc64el.deb 2026-03-03 21:28   15K  
 libcoq-reduction-effects_0.1.5-5build11_riscv64.deb 2026-03-03 23:29   15K  
 libcoq-reduction-effects_0.1.5-5build11_s390x.deb   2026-03-03 21:28   15K  
 libcoq-reduction-effects_0.1.5-5build7_arm64.deb    2025-02-18 21:25   16K  
 libcoq-reduction-effects_0.1.5-5build7_ppc64el.deb  2025-02-18 21:26   15K  
 libcoq-reduction-effects_0.1.5-5build7_riscv64.deb  2025-02-19 00:23   15K  
 libcoq-reduction-effects_0.1.5-5build7_s390x.deb    2025-02-19 00:24   15K  
 libcoq-reduction-effects_0.1.5-5build8_arm64.deb    2025-06-20 13:24   16K  
 libcoq-reduction-effects_0.1.5-5build8_ppc64el.deb  2025-06-20 13:24   15K  
 libcoq-reduction-effects_0.1.5-5build8_riscv64.deb  2025-06-20 15:15   15K  
 libcoq-reduction-effects_0.1.5-5build8_s390x.deb    2025-06-20 13:24   15K  
 libcoq-reduction-effects_0.1.5-5build9_arm64.deb    2026-01-05 20:07   16K  
 libcoq-reduction-effects_0.1.5-5build9_ppc64el.deb  2026-01-05 20:08   15K  
 libcoq-reduction-effects_0.1.5-5build9_riscv64.deb  2026-01-05 20:08   15K  
 libcoq-reduction-effects_0.1.5-5build9_s390x.deb    2026-01-05 20:08   15K