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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-reduction-effects_0.1.5-5+b3_arm64.deb      2024-11-21 00:40   15K  
 libcoq-reduction-effects_0.1.5-5+b4_amd64.deb      2024-11-21 00:40   15K  
 libcoq-reduction-effects_0.1.5-5+b2_amd64.deb      2024-08-21 11:54   15K  
 libcoq-reduction-effects_0.1.5-5+b2_arm64.deb      2024-08-21 11:54   16K  
 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