File Name
-
..——
-
coq-reduction-effects_0.1.5-1build3.debian.tar.xz1.87KB2024-04-08 10:57:41coq-reduction-effects_0.1.5-1build3.dsc2.24KB2024-04-08 10:57:41coq-reduction-effects_0.1.5-5build10.debian.tar.xz2.13KB2026-01-29 21:55:00coq-reduction-effects_0.1.5-5build10.dsc2.17KB2026-01-29 21:55:00coq-reduction-effects_0.1.5-5build7.debian.tar.xz2.07KB2025-02-18 23:25:08coq-reduction-effects_0.1.5-5build7.dsc2.16KB2025-02-18 23:25:08coq-reduction-effects_0.1.5-5build8.debian.tar.xz2.10KB2025-06-20 16:22:26coq-reduction-effects_0.1.5-5build8.dsc2.16KB2025-06-20 16:22:26coq-reduction-effects_0.1.5-5build9.debian.tar.xz2.12KB2026-01-05 22:02:54coq-reduction-effects_0.1.5-5build9.dsc2.16KB2026-01-05 22:02:54coq-reduction-effects_0.1.5.orig.tar.gz10.13KB2023-12-22 19:26:56libcoq-reduction-effects_0.1.5-1build3_amd64.deb14.18KB2024-04-08 10:57:47libcoq-reduction-effects_0.1.5-5build10_amd64.deb15.06KB2026-01-29 22:01:38libcoq-reduction-effects_0.1.5-5build10_amd64v3.deb15.09KB2026-01-29 22:01:46libcoq-reduction-effects_0.1.5-5build7_amd64.deb15.11KB2025-02-18 23:25:33libcoq-reduction-effects_0.1.5-5build8_amd64.deb15.13KB2025-06-20 16:23:37libcoq-reduction-effects_0.1.5-5build9_amd64.deb15.13KB2026-01-05 22:07:28libcoq-reduction-effects_0.1.5-5build9_amd64v3.deb15.15KB2026-01-05 22:07:41