Index of /debian/pool/main/c/coq-hierarchy-builder

 Name                                            Last modified      Size  Description
 Parent Directory                                                     -   
 coq-hierarchy-builder_1.4.0-2+b6_amd64.deb      14-Feb-2023 11:29  605K  
 coq-hierarchy-builder_1.4.0-2+b6_arm64.deb      14-Feb-2023 11:29  605K  
 coq-hierarchy-builder_1.4.0-2+b6_i386.deb       14-Feb-2023 11:24  605K  
 coq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb    14-Feb-2023 13:43  605K  
 coq-hierarchy-builder_1.4.0-2.debian.tar.xz     26-Oct-2022 09:06  3.1K  
 coq-hierarchy-builder_1.4.0-2.dsc               26-Oct-2022 09:06  2.2K  
 coq-hierarchy-builder_1.4.0.orig.tar.gz         02-Oct-2022 21:51  197K  
 coq-hierarchy-builder_1.8.0-1.debian.tar.xz     18-Dec-2024 17:07  2.8K  
 coq-hierarchy-builder_1.8.0-1.dsc               18-Dec-2024 17:07  2.1K  
 coq-hierarchy-builder_1.8.0.orig.tar.gz         18-Dec-2024 17:07  211K  
 coq-hierarchy-builder_1.8.1-1.debian.tar.xz     17-Feb-2025 17:37  2.8K  
 coq-hierarchy-builder_1.8.1-1.dsc               17-Feb-2025 17:37  2.1K  
 coq-hierarchy-builder_1.8.1.orig.tar.gz         17-Feb-2025 17:37  210K  
 libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb   14-Feb-2023 11:29  235K  
 libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb   14-Feb-2023 11:29  235K  
 libcoq-hierarchy-builder_1.4.0-2+b6_i386.deb    14-Feb-2023 11:24  234K  
 libcoq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb 14-Feb-2023 13:43  234K  
 libcoq-hierarchy-builder_1.8.0-1+b3_amd64.deb   28-Jan-2025 19:03  537K  
 libcoq-hierarchy-builder_1.8.0-1+b3_arm64.deb   28-Jan-2025 23:48  536K  
 libcoq-hierarchy-builder_1.8.0-1+b3_ppc64el.deb 28-Jan-2025 18:05  536K  
 libcoq-hierarchy-builder_1.8.0-1+b3_riscv64.deb 29-Jan-2025 00:29  536K  
 libcoq-hierarchy-builder_1.8.0-1+b3_s390x.deb   30-Jan-2025 08:27  536K  
 libcoq-hierarchy-builder_1.8.1-1+b1_s390x.deb   18-Feb-2025 17:15  537K  
 libcoq-hierarchy-builder_1.8.1-1_amd64.deb      18-Feb-2025 01:46  537K  
 libcoq-hierarchy-builder_1.8.1-1_arm64.deb      18-Feb-2025 03:32  537K  
 libcoq-hierarchy-builder_1.8.1-1_ppc64el.deb    17-Feb-2025 23:33  537K  
 libcoq-hierarchy-builder_1.8.1-1_riscv64.deb    18-Feb-2025 02:26  537K