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

 Name                                        Last modified      Size  Description
 Parent Directory                                                 -   
 coq-reduction-effects_0.1.4-1.debian.tar.xz 2022-08-13 01:08  1.4K  
 coq-reduction-effects_0.1.4-1.dsc           2022-08-13 01:08  2.1K  
 coq-reduction-effects_0.1.4-2.debian.tar.xz 2022-09-06 05:09  1.5K  
 coq-reduction-effects_0.1.4-2.dsc           2022-09-06 05:09  2.2K  
 coq-reduction-effects_0.1.4.orig.tar.gz     2022-08-13 01:08   10K  
 libcoq-reduction-effects_0.1.4-1_amd64.deb  2022-08-13 01:58   14K  
 libcoq-reduction-effects_0.1.4-1_arm64.deb  2022-08-13 01:58   14K  
 libcoq-reduction-effects_0.1.4-1_i386.deb   2022-08-13 01:43   13K  
 libcoq-reduction-effects_0.1.4-2_amd64.deb  2022-09-06 08:11   14K  
 libcoq-reduction-effects_0.1.4-2_arm64.deb  2022-09-06 08:11   14K  
 libcoq-reduction-effects_0.1.4-2_i386.deb   2022-09-06 08:56   13K