Index of /mirrors/raspbian/raspbian/pool/main/c/coq-quickchick

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      coq-quickchick_1.6.4-1.debian.tar.xz    2022-08-15 07:38  2.6K  
      coq-quickchick_1.6.4-1.dsc              2022-08-15 07:38  2.2K  
      coq-quickchick_1.6.4-3.debian.tar.xz    2023-01-27 06:18  2.7K  
      coq-quickchick_1.6.4-3.dsc              2023-01-27 06:18  2.2K  
      coq-quickchick_1.6.4.orig.tar.gz        2022-08-15 07:38  379K  
      libcoq-quickchick_1.6.4-3+b1_armhf.deb  2023-02-07 21:13  1.5M  
      libcoq-quickchick_1.6.4-3_armhf.deb     2023-01-30 22:08  1.5M  
      quickchick_1.6.4-3+b1_armhf.deb         2023-02-07 21:13   54K  
      quickchick_1.6.4-3_armhf.deb            2023-01-30 22:08   54K