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-4...> 04-Aug-2024 06:22  8.4K  
 coq-reglang_1.2.1-4.dsc 04-Aug-2024 06:22  1.8K  
 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..> 19-Dec-2024 21:31  855K  
 libcoq-reglang_1.2.1..> 19-Dec-2024 19:02  855K  
 libcoq-reglang_1.2.1..> 19-Dec-2024 20:04  855K  
 libcoq-reglang_1.2.1..> 19-Dec-2024 19:54  855K  
 libcoq-reglang_1.2.1..> 22-Dec-2024 02:04  854K