|
📁 ../
|
- |
- |
|
📄 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 |
|
📄 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.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+b8_amd64.deb
|
15684 bytes
|
2025-06-15 10:49:54 |