|
📁 ../
|
- |
- |
|
📄 coq-reduction-effects_0.1.4-3.debian.tar.xz
|
1572 bytes
|
2023-01-25 07:47:15 |
|
📄 coq-reduction-effects_0.1.4-3.dsc
|
2214 bytes
|
2023-01-25 07:47:15 |
|
📄 coq-reduction-effects_0.1.4.orig.tar.gz
|
10292 bytes
|
2022-08-13 05:08:40 |
|
📄 coq-reduction-effects_0.1.5-5.debian.tar.xz
|
1876 bytes
|
2024-08-04 03:53:36 |
|
📄 coq-reduction-effects_0.1.5-5.dsc
|
1995 bytes
|
2024-08-04 03:53:36 |
|
📄 coq-reduction-effects_0.1.5.orig.tar.gz
|
10369 bytes
|
2023-12-22 10:16:38 |
|
📄 coq-reduction-effects_0.1.6-1.debian.tar.xz
|
1920 bytes
|
2025-10-29 08:39:11 |
|
📄 coq-reduction-effects_0.1.6-1.dsc
|
2226 bytes
|
2025-10-29 08:39:11 |
|
📄 coq-reduction-effects_0.1.6-2.debian.tar.xz
|
1956 bytes
|
2025-11-11 17:45:16 |
|
📄 coq-reduction-effects_0.1.6-2.dsc
|
2223 bytes
|
2025-11-11 17:45:16 |
|
📄 coq-reduction-effects_0.1.6.orig.tar.gz
|
10436 bytes
|
2025-10-29 08:39:11 |
|
📄 libcoq-reduction-effects_0.1.4-3+b1_amd64.deb
|
14460 bytes
|
2023-02-13 05:11:23 |
|
📄 libcoq-reduction-effects_0.1.4-3+b1_arm64.deb
|
14604 bytes
|
2023-02-13 05:11:14 |
|
📄 libcoq-reduction-effects_0.1.4-3+b1_armhf.deb
|
14020 bytes
|
2023-02-13 05:26:53 |
|
📄 libcoq-reduction-effects_0.1.4-3+b1_i386.deb
|
13956 bytes
|
2023-02-13 05:16:48 |
|
📄 libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb
|
14768 bytes
|
2023-02-13 05:27:06 |
|
📄 libcoq-reduction-effects_0.1.4-3+b1_s390x.deb
|
14212 bytes
|
2023-02-13 05:11:24 |
|
📄 libcoq-reduction-effects_0.1.5-5+b7_arm64.deb
|
15820 bytes
|
2025-06-15 10:55:04 |
|
📄 libcoq-reduction-effects_0.1.5-5+b7_riscv64.deb
|
15576 bytes
|
2025-06-15 11:35:30 |
|
📄 libcoq-reduction-effects_0.1.5-5+b7_s390x.deb
|
15624 bytes
|
2025-06-16 18:19:44 |
|
📄 libcoq-reduction-effects_0.1.5-5+b8_amd64.deb
|
15684 bytes
|
2025-06-15 10:49:54 |
|
📄 libcoq-reduction-effects_0.1.5-5+b8_ppc64el.deb
|
15792 bytes
|
2025-06-15 10:44:48 |
|
📄 libcoq-reduction-effects_0.1.6-1_arm64.deb
|
15524 bytes
|
2025-10-29 12:16:04 |
|
📄 libcoq-reduction-effects_0.1.6-1_ppc64el.deb
|
15500 bytes
|
2025-10-29 12:16:04 |
|
📄 libcoq-reduction-effects_0.1.6-1_s390x.deb
|
15344 bytes
|
2025-10-29 13:48:07 |
|
📄 libcoq-reduction-effects_0.1.6-2_amd64.deb
|
15748 bytes
|
2025-11-11 17:45:16 |