Index of /sites/raspbian.org/raspbian/pool/main/c/coq-reglang

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 coq-reglang_1.1.3-1.debian.tar.xz         2022-07-15 23:06  8.1K  
 coq-reglang_1.1.3-1.dsc                   2022-07-15 23:06  2.1K  
 coq-reglang_1.1.3-2.debian.tar.xz         2023-01-26 13:44  8.2K  
 coq-reglang_1.1.3-2.dsc                   2023-01-26 13:44  2.1K  
 coq-reglang_1.1.3-4.debian.tar.xz         2023-07-06 12:02  8.2K  
 coq-reglang_1.1.3-4.dsc                   2023-07-06 12:02  2.1K  
 coq-reglang_1.1.3.orig.tar.gz             2022-07-15 23:06   65K  
 coq-reglang_1.2.1-1.debian.tar.xz         2024-01-20 21:13  8.3K  
 coq-reglang_1.2.1-1.dsc                   2024-01-20 21:13  2.1K  
 coq-reglang_1.2.1.orig.tar.gz             2024-01-20 21:13   68K  
 libcoq-reglang_1.1.3-1+b1_armhf.deb       2022-12-03 15:45  707K  
 libcoq-reglang_1.1.3-1_armhf.deb          2022-10-06 06:08  707K  
 libcoq-reglang_1.1.3-2+b1_armhf.deb       2023-02-07 22:13  707K  
 libcoq-reglang_1.1.3-2+b3_armhf.deb       2023-05-22 06:08  707K  
 libcoq-reglang_1.1.3-2_armhf.deb          2023-01-30 23:08  707K  
 libcoq-reglang_1.1.3-4+b1_armhf.deb       2023-10-21 01:59  707K  
 libcoq-reglang_1.1.3-4_armhf.deb          2023-09-14 20:35  707K  
 libcoq-reglang_1.2.1-1+b1_armhf.deb       2024-03-01 23:08  707K  
 libcoq-reglang_1.2.1-1_armhf.deb          2024-02-21 11:08  707K