Index of /transitions/20240715/ocaml-5.2.0/pool/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-4+ocaml1.debian.tar.xz 15-Jul-2024 17:09                1872
coq-reduction-effects_0.1.5-4+ocaml1.dsc           15-Jul-2024 17:09                1334
coq-reduction-effects_0.1.5-4+ocaml1_amd64-2024..> 15-Jul-2024 17:10               60704
coq-reduction-effects_0.1.5-4+ocaml1_amd64.build   15-Jul-2024 17:10               60704
coq-reduction-effects_0.1.5-4+ocaml1_amd64.buil..> 15-Jul-2024 17:09                6671
coq-reduction-effects_0.1.5-4+ocaml1_amd64.changes 15-Jul-2024 17:09                2507
coq-reduction-effects_0.1.5.orig.tar.gz            15-Jul-2024 17:09               10369
libcoq-reduction-effects-dbgsym_0.1.5-4+ocaml1_..> 15-Jul-2024 17:09                3220
libcoq-reduction-effects_0.1.5-4+ocaml1_amd64.deb  15-Jul-2024 17:09               15516