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

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 coq-reglang_1.1.3-2.debian.tar.xz      26-Jan-2023 13:44  8.2K  
 coq-reglang_1.1.3-2.dsc                26-Jan-2023 13:44  2.1K  
 coq-reglang_1.1.3.orig.tar.gz          15-Jul-2022 23:06   65K  
 coq-reglang_1.2.1-4.debian.tar.xz      04-Aug-2024 08:22  8.4K  
 coq-reglang_1.2.1-4.dsc                04-Aug-2024 08:22  1.8K  
 coq-reglang_1.2.1.orig.tar.gz          20-Jan-2024 21:13   68K  
 coq-reglang_1.2.2-1.debian.tar.xz      30-Oct-2025 08:18  8.5K  
 coq-reglang_1.2.2-1.dsc                30-Oct-2025 08:18  2.1K  
 coq-reglang_1.2.2-2.debian.tar.xz      11-Nov-2025 20:47  8.6K  
 coq-reglang_1.2.2-2.dsc                11-Nov-2025 20:47  2.1K  
 coq-reglang_1.2.2.orig.tar.gz          30-Oct-2025 08:18   68K  
 libcoq-reglang_1.1.3-2+b1_amd64.deb    13-Feb-2023 08:28  708K  
 libcoq-reglang_1.1.3-2+b1_arm64.deb    13-Feb-2023 08:28  707K  
 libcoq-reglang_1.1.3-2+b1_armhf.deb    13-Feb-2023 08:28  707K  
 libcoq-reglang_1.1.3-2+b1_i386.deb     13-Feb-2023 08:39  707K  
 libcoq-reglang_1.1.3-2+b1_ppc64el.deb  14-Feb-2023 00:55  707K  
 libcoq-reglang_1.1.3-2+b1_s390x.deb    13-Feb-2023 11:20  707K  
 libcoq-reglang_1.2.1-4+b13_arm64.deb   15-Jun-2025 09:38  855K  
 libcoq-reglang_1.2.1-4+b13_ppc64el.deb 15-Jun-2025 10:44  855K  
 libcoq-reglang_1.2.1-4+b13_riscv64.deb 17-Jun-2025 23:40  855K  
 libcoq-reglang_1.2.1-4+b14_amd64.deb   15-Jun-2025 06:21  855K  
 libcoq-reglang_1.2.1-4+b14_s390x.deb   18-Jun-2025 00:48  855K  
 libcoq-reglang_1.2.1-4+b19_arm64.deb   28-Oct-2025 21:48  855K  
 libcoq-reglang_1.2.1-4+b19_ppc64el.deb 28-Oct-2025 21:43  855K  
 libcoq-reglang_1.2.1-4+b19_riscv64.deb 29-Oct-2025 10:24  855K  
 libcoq-reglang_1.2.1-4+b20_amd64.deb   28-Oct-2025 21:48  855K  
 libcoq-reglang_1.2.1-4+b20_s390x.deb   28-Oct-2025 21:48  855K  
 libcoq-reglang_1.2.2-1_arm64.deb       30-Oct-2025 16:10  872K  
 libcoq-reglang_1.2.2-1_ppc64el.deb     30-Oct-2025 21:57  872K  
 libcoq-reglang_1.2.2-1_s390x.deb       31-Oct-2025 12:44  872K  
 libcoq-reglang_1.2.2-2_amd64.deb       11-Nov-2025 20:47  939K