Name                                         Last modified      Size  Description
 Parent Directory                                                  -   
 coq-hammer_1.3.2+8.15-1.debian.tar.xz        2022-07-18 18:49  2.2K  
 coq-hammer_1.3.2+8.15-1.dsc                  2022-07-18 18:49  2.1K  
 coq-hammer_1.3.2+8.15.orig.tar.gz            2022-07-18 18:49  145K  
 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz  2023-02-16 12:50  2.3K  
 coq-hammer_1.3.2+8.16-2build2.dsc            2023-02-16 12:50  2.1K  
 coq-hammer_1.3.2+8.16.orig.tar.gz            2022-11-05 22:17  145K  
 coq-hammer_1.3.2+8.17-1.debian.tar.xz        2023-06-13 00:30  2.5K  
 coq-hammer_1.3.2+8.17-1.dsc                  2023-06-13 00:30  2.1K  
 coq-hammer_1.3.2+8.17.orig.tar.gz            2023-06-13 00:30  145K  
 libcoq-hammer-tactics_1.3.2+8.15-1_amd64.deb 2022-07-18 20:08  352K  
 libcoq-hammer_1.3.2+8.15-1_amd64.deb         2022-07-18 20:08  224K  
 libcoq-hammer_1.3.2+8.16-2build2_amd64.deb   2023-02-16 12:50  557K  
 libcoq-hammer_1.3.2+8.17-1_amd64.deb         2023-06-13 00:30  555K