Index of /ubuntu/pool/universe/c/coq-reglang

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coq-reglang_1.1.3-1.debian.tar.xz       2022-07-19 01:48  8.1K  
 coq-reglang_1.1.3-1.dsc                 2022-07-19 01:48  2.1K  
 coq-reglang_1.1.3-1build2.debian.tar.xz 2022-12-03 10:59  8.2K  
 coq-reglang_1.1.3-1build2.dsc           2022-12-03 10:59  2.1K  
 coq-reglang_1.1.3-2.debian.tar.xz       2023-01-26 18:29  8.2K  
 coq-reglang_1.1.3-2.dsc                 2023-01-26 18:29  2.1K  
 coq-reglang_1.1.3.orig.tar.gz           2022-07-19 01:48   65K  
 libcoq-reglang_1.1.3-1_amd64.deb        2022-07-19 03:08  804K  
 libcoq-reglang_1.1.3-1build2_amd64.deb  2022-12-03 13:29  806K  
 libcoq-reglang_1.1.3-2_amd64.deb        2023-01-26 18:29  806K