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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-reglang_1.1.3-2...> 26-Jan-2023 12:44  8.2K  
 coq-reglang_1.1.3-2.dsc 26-Jan-2023 12:44  2.1K  
 coq-reglang_1.1.3.or..> 15-Jul-2022 21:06   65K  
 coq-reglang_1.2.1-1...> 20-Jan-2024 20:13  8.3K  
 coq-reglang_1.2.1-1.dsc 20-Jan-2024 20:13  2.1K  
 coq-reglang_1.2.1-3...> 26-Apr-2024 14:06  8.4K  
 coq-reglang_1.2.1-3.dsc 26-Apr-2024 14:06  2.1K  
 coq-reglang_1.2.1.or..> 20-Jan-2024 20:13   68K  
 libcoq-reglang_1.1.3..> 13-Feb-2023 07:28  708K  
 libcoq-reglang_1.1.3..> 13-Feb-2023 07:28  707K  
 libcoq-reglang_1.1.3..> 13-Feb-2023 07:28  707K  
 libcoq-reglang_1.1.3..> 13-Feb-2023 07:39  707K  
 libcoq-reglang_1.1.3..> 13-Feb-2023 23:55  707K  
 libcoq-reglang_1.1.3..> 13-Feb-2023 10:20  707K  
 libcoq-reglang_1.2.1..> 16-Feb-2024 15:04  707K  
 libcoq-reglang_1.2.1..> 16-Feb-2024 17:36  707K  
 libcoq-reglang_1.2.1..> 16-Feb-2024 14:59  707K  
 libcoq-reglang_1.2.1..> 16-Feb-2024 15:20  707K  
 libcoq-reglang_1.2.1..> 16-Feb-2024 14:59  707K  
 libcoq-reglang_1.2.1..> 31-Mar-2024 23:29  707K  
 libcoq-reglang_1.2.1..> 20-Mar-2024 13:08  707K  
 libcoq-reglang_1.2.1..> 30-Apr-2024 15:06  735K  
 libcoq-reglang_1.2.1..> 30-Apr-2024 15:06  735K  
 libcoq-reglang_1.2.1..> 30-Apr-2024 15:06  735K  
 libcoq-reglang_1.2.1..> 30-Apr-2024 15:06  735K  
 libcoq-reglang_1.2.1..> 30-Apr-2024 17:28  735K