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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coq-deriving_0.1.0-2.debian.tar.xz      26-Jan-2023 13:44  1.9K  
 coq-deriving_0.1.0-2.dsc                26-Jan-2023 13:44  2.1K  
 coq-deriving_0.1.0.orig.tar.gz          16-Jul-2022 09:56   29K  
 coq-deriving_0.2.1-1.debian.tar.xz      18-Dec-2024 17:08  2.2K  
 coq-deriving_0.2.1-1.dsc                18-Dec-2024 17:08  2.1K  
 coq-deriving_0.2.1.orig.tar.gz          18-Dec-2024 17:08   31K  
 coq-deriving_0.2.2-2.debian.tar.xz      11-Nov-2025 20:47  2.3K  
 coq-deriving_0.2.2-2.dsc                11-Nov-2025 20:47  2.1K  
 coq-deriving_0.2.2.orig.tar.gz          30-Oct-2025 08:18   31K  
 libcoq-deriving_0.1.0-2+b1_amd64.deb    13-Feb-2023 08:28  413K  
 libcoq-deriving_0.1.0-2+b1_arm64.deb    13-Feb-2023 08:28  413K  
 libcoq-deriving_0.1.0-2+b1_armhf.deb    13-Feb-2023 08:28  412K  
 libcoq-deriving_0.1.0-2+b1_i386.deb     13-Feb-2023 08:08  412K  
 libcoq-deriving_0.1.0-2+b1_ppc64el.deb  14-Feb-2023 00:55  413K  
 libcoq-deriving_0.1.0-2+b1_s390x.deb    13-Feb-2023 11:15  413K  
 libcoq-deriving_0.2.1-1+b15_ppc64el.deb 28-Dec-2025 07:37  482K  
 libcoq-deriving_0.2.1-1+b15_riscv64.deb 28-Dec-2025 23:22  482K  
 libcoq-deriving_0.2.1-1+b15_s390x.deb   28-Dec-2025 08:02  482K  
 libcoq-deriving_0.2.1-1+b17_amd64.deb   13-Feb-2026 23:17  482K  
 libcoq-deriving_0.2.1-1+b17_arm64.deb   13-Feb-2026 20:47  482K  
 libcoq-deriving_0.2.1-1+b7_amd64.deb    15-Jun-2025 06:21  482K  
 libcoq-deriving_0.2.1-1+b7_arm64.deb    15-Jun-2025 09:38  482K  
 libcoq-deriving_0.2.1-1+b7_ppc64el.deb  15-Jun-2025 10:49  482K  
 libcoq-deriving_0.2.1-1+b7_riscv64.deb  17-Jun-2025 23:20  482K  
 libcoq-deriving_0.2.1-1+b7_s390x.deb    18-Jun-2025 00:47  482K  
 libcoq-deriving_0.2.2-2+b1_amd64.deb    15-Feb-2026 14:31  642K  
 libcoq-deriving_0.2.2-2_arm64.deb       11-Feb-2026 13:02  641K  
 libcoq-deriving_0.2.2-2_ppc64el.deb     15-Feb-2026 14:26  640K  
 libcoq-deriving_0.2.2-2_s390x.deb       14-Feb-2026 08:00  640K