Index of /ubuntu-old/pool/universe/c/coq-reduction-effects/

name size date
libcoq-reduction-effects_0.1.5-5build3_amd64.deb 15.5K 2025-09-13 01:37:03
libcoq-reduction-effects_0.1.4-3build2_amd64.deb 13.9K 2024-11-26 13:19:29
libcoq-reduction-effects_0.1.4-4build1_amd64.deb 14.1K 2024-11-15 03:05:09
libcoq-reduction-effects_0.1.4-1_amd64.deb 13.5K 2023-08-11 04:18:27