Index of /pool/universe/c/coq-corn

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coq-corn_8.18.0-1build3.debian.tar.xz   2024-04-08 07:57  4.2K  
 coq-corn_8.18.0-1build3.dsc             2024-04-08 07:57  2.1K  
 coq-corn_8.18.0.orig.tar.gz             2023-12-24 17:26  1.3M  
 coq-corn_8.20.0-1build1.debian.tar.xz   2025-02-19 07:52  4.3K  
 coq-corn_8.20.0-1build1.dsc             2025-02-19 07:52  2.1K  
 coq-corn_8.20.0-1build10.debian.tar.xz  2026-01-03 19:11  4.4K  
 coq-corn_8.20.0-1build10.dsc            2026-01-03 19:11  2.1K  
 coq-corn_8.20.0-1build11.debian.tar.xz  2026-01-28 00:59  4.5K  
 coq-corn_8.20.0-1build11.dsc            2026-01-28 00:59  2.1K  
 coq-corn_8.20.0-1build12.debian.tar.xz  2026-03-05 08:48  4.5K  
 coq-corn_8.20.0-1build12.dsc            2026-03-05 08:48  2.1K  
 coq-corn_8.20.0-1build5.debian.tar.xz   2025-08-31 19:42  4.4K  
 coq-corn_8.20.0-1build5.dsc             2025-08-31 19:42  2.1K  
 coq-corn_8.20.0.orig.tar.gz             2025-02-18 01:39  1.3M  
 libcoq-corn_8.18.0-1build3_arm64.deb    2024-04-08 15:21   15M  
 libcoq-corn_8.18.0-1build3_armhf.deb    2024-04-08 14:36   15M  
 libcoq-corn_8.18.0-1build3_ppc64el.deb  2024-04-08 14:36   15M  
 libcoq-corn_8.18.0-1build3_riscv64.deb  2024-04-08 17:06   15M  
 libcoq-corn_8.18.0-1build3_s390x.deb    2024-04-08 15:21   15M  
 libcoq-corn_8.20.0-1build10_arm64.deb   2026-01-06 11:43   14M  
 libcoq-corn_8.20.0-1build10_ppc64el.deb 2026-01-06 11:43   14M  
 libcoq-corn_8.20.0-1build10_riscv64.deb 2026-01-06 11:43   14M  
 libcoq-corn_8.20.0-1build10_s390x.deb   2026-01-06 11:43   14M  
 libcoq-corn_8.20.0-1build11_arm64.deb   2026-01-30 22:32   14M  
 libcoq-corn_8.20.0-1build11_ppc64el.deb 2026-01-30 22:32   14M  
 libcoq-corn_8.20.0-1build11_riscv64.deb 2026-01-31 05:35   14M  
 libcoq-corn_8.20.0-1build11_s390x.deb   2026-01-30 22:32   14M  
 libcoq-corn_8.20.0-1build12_arm64.deb   2026-03-05 08:49   14M  
 libcoq-corn_8.20.0-1build12_ppc64el.deb 2026-03-05 08:49   14M  
 libcoq-corn_8.20.0-1build12_riscv64.deb 2026-03-06 05:27   14M  
 libcoq-corn_8.20.0-1build12_s390x.deb   2026-03-05 08:49   14M  
 libcoq-corn_8.20.0-1build1_arm64.deb    2025-02-19 11:16   15M  
 libcoq-corn_8.20.0-1build1_ppc64el.deb  2025-02-19 13:44   15M  
 libcoq-corn_8.20.0-1build1_riscv64.deb  2025-02-19 17:02   15M  
 libcoq-corn_8.20.0-1build1_s390x.deb    2025-02-19 11:18   15M  
 libcoq-corn_8.20.0-1build5_arm64.deb    2025-09-01 07:27   14M  
 libcoq-corn_8.20.0-1build5_ppc64el.deb  2025-09-01 07:27   14M  
 libcoq-corn_8.20.0-1build5_riscv64.deb  2025-09-01 15:05   14M  
 libcoq-corn_8.20.0-1build5_s390x.deb    2025-09-01 07:27   14M