Index of /debian/pool/main/c/coq-deriving

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 coq-deriving_0.1.0-1.debian.tar.xz   2022-07-16 03:56  1.9K  
 coq-deriving_0.1.0-1.dsc             2022-07-16 03:56  2.1K  
 coq-deriving_0.1.0.orig.tar.gz       2022-07-16 03:56   29K  
 libcoq-deriving_0.1.0-1+b1_amd64.deb 2022-07-26 20:59  419K  
 libcoq-deriving_0.1.0-1+b1_arm64.deb 2022-09-08 17:13  413K  
 libcoq-deriving_0.1.0-1+b1_i386.deb  2022-09-08 17:42  412K  
 libcoq-deriving_0.1.0-1+b2_amd64.deb 2022-09-08 19:43  413K  
 libcoq-deriving_0.1.0-1_arm64.deb    2022-07-18 12:42  419K  
 libcoq-deriving_0.1.0-1_i386.deb     2022-07-18 15:27  418K