Index of /backports/20250313/pool/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-5+ocaml20250313.deb..> 13-Mar-2025 11:56                1968
coq-reduction-effects_0.1.5-5+ocaml20250313.dsc    13-Mar-2025 11:56                1362
coq-reduction-effects_0.1.5-5+ocaml20250313_amd..> 13-Mar-2025 11:56               66888
coq-reduction-effects_0.1.5-5+ocaml20250313_amd..> 13-Mar-2025 11:56               66888
coq-reduction-effects_0.1.5-5+ocaml20250313_amd..> 13-Mar-2025 11:56                7332
coq-reduction-effects_0.1.5-5+ocaml20250313_amd..> 13-Mar-2025 11:56                2636
coq-reduction-effects_0.1.5.orig.tar.gz            13-Mar-2025 11:56               10369
libcoq-reduction-effects-dbgsym_0.1.5-5+ocaml20..> 13-Mar-2025 11:56                3216
libcoq-reduction-effects_0.1.5-5+ocaml20250313_..> 13-Mar-2025 11:56               15460