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

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      coq-deriving_0.1.0-1.debian.tar.xz      2022-07-16 08:56  1.9K  
      coq-deriving_0.1.0-1.dsc                2022-07-16 08:56  2.1K  
      coq-deriving_0.1.0-2.debian.tar.xz      2023-01-26 12:44  1.9K  
      coq-deriving_0.1.0-2.dsc                2023-01-26 12:44  2.1K  
      coq-deriving_0.1.0.orig.tar.gz          2022-07-16 08:56   29K  
      libcoq-deriving_0.1.0-2+b1_armhf.deb    2023-02-07 21:13  413K  
      libcoq-deriving_0.1.0-2_armhf.deb       2023-01-30 22:08  412K