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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] coq-reglang_1.1.3-2...> 2023-01-26 15:44  8.2K  
[TXT] 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  
[TXT] 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..> 2025-01-28 22:56  855K  
[   ] libcoq-reglang_1.2.1..> 2025-02-18 05:57  855K