| ../ |
- |
- |
| coq-reduction-effects_0.1.5-1.debian.tar.xz |
1.7 KB |
2023-12-22 17:26 |
| coq-reduction-effects_0.1.5-1.dsc |
2.2 KB |
2023-12-22 17:26 |
| coq-reduction-effects_0.1.5-1build3.debian.tar.xz |
1.9 KB |
2024-04-08 07:57 |
| coq-reduction-effects_0.1.5-1build3.dsc |
2.2 KB |
2024-04-08 07:57 |
| coq-reduction-effects_0.1.5.orig.tar.gz |
10.1 KB |
2023-12-22 17:26 |
| libcoq-reduction-effects_0.1.5-1_amd64.deb |
15.4 KB |
2023-12-22 22:01 |
| libcoq-reduction-effects_0.1.5-1_arm64.deb |
16.0 KB |
2023-12-22 22:01 |
| libcoq-reduction-effects_0.1.5-1_armhf.deb |
14.8 KB |
2023-12-22 22:01 |
| libcoq-reduction-effects_0.1.5-1_ppc64el.deb |
15.6 KB |
2023-12-22 22:01 |
| libcoq-reduction-effects_0.1.5-1_riscv64.deb |
15.4 KB |
2023-12-23 00:12 |
| libcoq-reduction-effects_0.1.5-1build3_amd64.deb |
14.2 KB |
2024-04-08 07:57 |
| libcoq-reduction-effects_0.1.5-1build3_arm64.deb |
14.7 KB |
2024-04-08 07:57 |
| libcoq-reduction-effects_0.1.5-1build3_armhf.deb |
13.8 KB |
2024-04-08 07:57 |
| libcoq-reduction-effects_0.1.5-1build3_ppc64el.deb |
14.5 KB |
2024-04-08 07:57 |
| libcoq-reduction-effects_0.1.5-1build3_riscv64.deb |
14.3 KB |
2024-04-08 07:57 |