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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-reduction-effects_0.1.5-5+b6_arm64.deb      2025-02-18 08:30   15K  
 libcoq-reduction-effects_0.1.5-5+b7_amd64.deb      2025-02-18 08:15   15K  
 libcoq-reduction-effects_0.1.5-5+b4_arm64.deb      2025-01-30 15:21   15K  
 libcoq-reduction-effects_0.1.5-5+b5_amd64.deb      2025-01-30 15:16   15K  
 coq-reduction-effects_0.1.5-5.dsc                  2024-08-04 11:53  1.9K  
 coq-reduction-effects_0.1.5-5.debian.tar.xz        2024-08-04 11:53  1.8K  
 coq-reduction-effects_0.1.5.orig.tar.gz            2023-12-22 18:16   10K