Index of /sites/archive.ubuntu.com/ubuntu/ubuntu/ubuntu/pool/universe/c/coq-reglang/

Icon  Name                                                            Last modified      Size  
[PARENTDIR] Parent Directory                                                                     -   
[   ] coq-reglang_1.1.3-2build2.debian.tar.xz                         2023-02-16 18:50  8.3K  
[   ] coq-reglang_1.1.3-2build2.dsc                                   2023-02-16 18:50  2.1K  
[   ] coq-reglang_1.1.3-4build1.debian.tar.xz                         2023-07-24 18:37  8.3K  
[   ] coq-reglang_1.1.3-4build1.dsc                                   2023-07-24 18:37  2.1K  
[   ] coq-reglang_1.1.3.orig.tar.gz                                   2022-07-19 00:48   65K  
[   ] coq-reglang_1.2.1-1build5.debian.tar.xz                         2024-04-08 08:57  8.6K  
[   ] coq-reglang_1.2.1-1build5.dsc                                   2024-04-08 08:57  2.1K  
[   ] coq-reglang_1.2.1.orig.tar.gz                                   2024-01-21 05:45   68K  
[   ] libcoq-reglang_1.1.3-2build2_amd64.deb                          2023-02-16 18:50  805K  
[   ] libcoq-reglang_1.1.3-4build1_amd64.deb                          2023-07-25 18:19  805K  
[   ] libcoq-reglang_1.2.1-1build5_amd64.deb                          2024-04-08 15:36  805K