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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-reglang_1.1.3-2...> 2023-01-26 15:44  8.2K  
 coq-reglang_1.1.3-2.dsc 2023-01-26 15:44  2.1K  
 coq-reglang_1.1.3.or..> 2022-07-16 00:06   65K  
 coq-reglang_1.2.1-4...> 2024-08-04 09:22  8.4K  
 coq-reglang_1.2.1-4.dsc 2024-08-04 09:22  1.8K  
 coq-reglang_1.2.1.or..> 2024-01-20 23:13   68K  
 libcoq-reglang_1.1.3..> 2023-02-13 10:28  708K  
 libcoq-reglang_1.2.1..> 2024-12-19 22:54  855K