Index of /mirrors/raspbian/raspbian/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 06:08  1.4K  
      coq-reduction-effects_0.1.4-1.dsc             2022-08-13 06:08  2.1K  
      coq-reduction-effects_0.1.4-3.debian.tar.xz   2023-01-25 07:47  1.5K  
      coq-reduction-effects_0.1.4-3.dsc             2023-01-25 07:47  2.2K  
      coq-reduction-effects_0.1.4.orig.tar.gz       2022-08-13 06:08   10K  
      libcoq-reduction-effects_0.1.4-1_armhf.deb    2022-08-15 11:08   13K  
      libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 2023-02-03 02:54   14K