Index of /debian/pool/main/c/coqeal/
name
size
date
libcoq-coqeal_2.1.2-1+b1_amd64.deb
5.99M
2026-07-31 20:35:11
libcoq-coqeal_2.1.2-1_ppc64el.deb
5.99M
2026-07-29 15:54:41
libcoq-coqeal_2.1.2-1_s390x.deb
5.99M
2026-07-29 15:54:40
libcoq-coqeal_2.1.2-1_arm64.deb
5.99M
2026-07-29 15:49:39
coqeal_2.1.2-1.debian.tar.xz
2.5K
2026-07-29 15:19:10
coqeal_2.1.2-1.dsc
2.1K
2026-07-29 15:19:10
coqeal_2.1.2.orig.tar.gz
222.2K
2026-07-29 15:19:10
libcoq-coqeal_2.1.0-1+b8_riscv64.deb
5.32M
2025-12-29 00:47:51
libcoq-coqeal_2.1.0-1+b1_s390x.deb
5.32M
2025-06-17 23:48:14
libcoq-coqeal_2.1.0-1+b1_riscv64.deb
5.32M
2025-06-17 23:33:12
libcoq-coqeal_2.1.0-1+b1_ppc64el.deb
5.32M
2025-06-15 11:25:20
libcoq-coqeal_2.1.0-1+b1_arm64.deb
5.32M
2025-06-15 11:20:16
libcoq-coqeal_2.1.0-1+b1_amd64.deb
5.32M
2025-06-15 11:15:13
coqeal_2.1.0-1.debian.tar.xz
2.4K
2025-03-18 12:33:54
coqeal_2.1.0-1.dsc
2.1K
2025-03-18 12:33:54
coqeal_2.1.0.orig.tar.gz
221.4K
2025-03-18 12:33:54
libcoq-coqeal_1.1.1-3+b1_ppc64el.deb
4.41M
2023-02-14 07:27:40
libcoq-coqeal_1.1.1-3+b1_s390x.deb
4.41M
2023-02-14 07:17:39
libcoq-coqeal_1.1.1-3+b1_amd64.deb
4.41M
2023-02-14 06:27:03
libcoq-coqeal_1.1.1-3+b1_arm64.deb
4.41M
2023-02-14 06:27:03
libcoq-coqeal_1.1.1-3+b1_i386.deb
4.40M
2023-02-14 06:27:01
libcoq-coqeal_1.1.1-3+b1_armhf.deb
4.40M
2023-02-14 06:26:56
coqeal_1.1.1-3.debian.tar.xz
2.1K
2023-01-27 16:30:57
coqeal_1.1.1-3.dsc
2.1K
2023-01-27 16:30:57
coqeal_1.1.1.orig.tar.gz
213.6K
2022-07-08 07:23:08