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..> 29-Jan-2025 00:30  854K  
 libcoq-reglang_1.2.1..> 28-Jan-2025 19:05  855K  
 libcoq-reglang_1.2.1..> 30-Jan-2025 23:18  855K  
 libcoq-reglang_1.2.1..> 28-Jan-2025 19:56  855K  
 libcoq-reglang_1.2.1..> 30-Jan-2025 10:09  855K  
 libcoq-reglang_1.2.1..> 18-Feb-2025 05:49  855K  
 libcoq-reglang_1.2.1..> 18-Feb-2025 01:37  855K  
 libcoq-reglang_1.2.1..> 18-Feb-2025 16:00  855K  
 libcoq-reglang_1.2.1..> 18-Feb-2025 02:57  855K  
 libcoq-reglang_1.2.1..> 18-Feb-2025 20:05  855K