Index of /debian/pool/main/c/coq-reduction-effects/


../
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb      13-Feb-2023 05:11               14460
libcoq-reduction-effects_0.1.4-4+b2_amd64.deb      22-Sep-2023 12:42               14688
libcoq-reduction-effects_0.1.5-1_amd64.deb         22-Dec-2023 11:07               14344
libcoq-reduction-effects_0.1.5-4+b1_amd64.deb      15-Jun-2024 10:59               15344
libcoq-reduction-effects_0.1.5-5+b2_amd64.deb      21-Aug-2024 03:54               15860
libcoq-reduction-effects_0.1.5-5+b4_amd64.deb      20-Nov-2024 16:40               15680