Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

Index of /debian/pool/main/c/coqeal

File Last Modified Size
📂 Parent Directory
📄 coqeal_1.1.1-3.debian.tar.xz2023-01-27 16:30:572.11 KB
📄 coqeal_1.1.1-3.dsc2023-01-27 16:30:572.11 KB
📄 coqeal_1.1.1.orig.tar.gz2022-07-08 07:23:08213.62 KB
📄 coqeal_2.1.0-1.debian.tar.xz2025-03-18 12:33:542.35 KB
📄 coqeal_2.1.0-1.dsc2025-03-18 12:33:542.13 KB
📄 coqeal_2.1.0.orig.tar.gz2025-03-18 12:33:54221.4 KB
📄 coqeal_2.1.1-1.debian.tar.xz2025-10-30 09:09:002.4 KB
📄 coqeal_2.1.1-1.dsc2025-10-30 09:09:002.11 KB
📄 coqeal_2.1.1-2.debian.tar.xz2025-11-11 20:22:182.44 KB
📄 coqeal_2.1.1-2.dsc2025-11-11 20:22:182.11 KB
📄 coqeal_2.1.1.orig.tar.gz2025-10-30 09:09:00222.06 KB
📄 libcoq-coqeal_1.1.1-3+b1_amd64.deb2023-02-14 06:27:034.41 MB
📄 libcoq-coqeal_1.1.1-3+b1_arm64.deb2023-02-14 06:27:034.41 MB
📄 libcoq-coqeal_1.1.1-3+b1_armhf.deb2023-02-14 06:26:564.4 MB
📄 libcoq-coqeal_1.1.1-3+b1_i386.deb2023-02-14 06:27:014.4 MB
📄 libcoq-coqeal_1.1.1-3+b1_ppc64el.deb2023-02-14 07:27:404.41 MB
📄 libcoq-coqeal_1.1.1-3+b1_s390x.deb2023-02-14 07:17:394.41 MB
📄 libcoq-coqeal_2.1.0-1+b10_amd64.deb2026-02-13 23:49:285.32 MB
📄 libcoq-coqeal_2.1.0-1+b10_arm64.deb2026-02-13 21:04:265.32 MB
📄 libcoq-coqeal_2.1.0-1+b1_amd64.deb2025-06-15 11:15:135.32 MB
📄 libcoq-coqeal_2.1.0-1+b1_arm64.deb2025-06-15 11:20:165.32 MB
📄 libcoq-coqeal_2.1.0-1+b1_ppc64el.deb2025-06-15 11:25:205.32 MB
📄 libcoq-coqeal_2.1.0-1+b1_riscv64.deb2025-06-17 23:33:125.32 MB
📄 libcoq-coqeal_2.1.0-1+b1_s390x.deb2025-06-17 23:48:145.32 MB
📄 libcoq-coqeal_2.1.0-1+b8_ppc64el.deb2025-12-28 07:32:575.32 MB
📄 libcoq-coqeal_2.1.0-1+b8_riscv64.deb2025-12-29 00:47:515.32 MB
📄 libcoq-coqeal_2.1.0-1+b8_s390x.deb2025-12-28 08:08:595.32 MB
📄 libcoq-coqeal_2.1.1-1_arm64.deb2025-10-30 15:15:565.32 MB
📄 libcoq-coqeal_2.1.1-1_ppc64el.deb2025-10-30 21:08:005.32 MB
📄 libcoq-coqeal_2.1.1-1_s390x.deb2025-10-31 11:49:065.32 MB
📄 libcoq-coqeal_2.1.1-2_amd64.deb2025-11-11 20:22:188.01 MB