Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/c/coq-dpdgraph/

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 coq-dpdgraph-tools_1.0+8.16-2+b1_amd64.deb   14-Feb-2023 07:11  932K  
 coq-dpdgraph-tools_1.0+8.16-2+b1_arm64.deb   14-Feb-2023 07:11  932K  
 coq-dpdgraph-tools_1.0+8.16-2+b1_armhf.deb   14-Feb-2023 07:11  932K  
 coq-dpdgraph-tools_1.0+8.16-2+b1_i386.deb    14-Feb-2023 07:11  932K  
 coq-dpdgraph-tools_1.0+8.18-1+b1_amd64.deb   19-Mar-2024 19:40  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1+b1_arm64.deb   19-Mar-2024 19:35  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1+b1_armhf.deb   26-Mar-2024 16:22  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1+b1_i386.deb    19-Mar-2024 19:40  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1+b1_riscv64.deb 11-Apr-2024 05:34  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_amd64.deb      22-Dec-2023 11:57  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_arm64.deb      22-Dec-2023 11:51  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_armhf.deb      22-Dec-2023 11:57  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_i386.deb       22-Dec-2023 11:57  1.0M  
 coq-dpdgraph_1.0+8.16-2.debian.tar.xz        25-Jan-2023 07:56  2.7K  
 coq-dpdgraph_1.0+8.16-2.dsc                  25-Jan-2023 07:56  2.2K  
 coq-dpdgraph_1.0+8.16.orig.tar.gz            06-Sep-2022 11:04   65K  
 coq-dpdgraph_1.0+8.18-1.debian.tar.xz        22-Dec-2023 11:16  3.0K  
 coq-dpdgraph_1.0+8.18-1.dsc                  22-Dec-2023 11:16  2.2K  
 coq-dpdgraph_1.0+8.18.orig.tar.gz            22-Dec-2023 11:16   65K  
 libcoq-dpdgraph_1.0+8.16-2+b1_amd64.deb      14-Feb-2023 07:11   32K  
 libcoq-dpdgraph_1.0+8.16-2+b1_arm64.deb      14-Feb-2023 07:11   34K  
 libcoq-dpdgraph_1.0+8.16-2+b1_armhf.deb      14-Feb-2023 07:11   32K  
 libcoq-dpdgraph_1.0+8.16-2+b1_i386.deb       14-Feb-2023 07:11   31K  
 libcoq-dpdgraph_1.0+8.18-1+b1_amd64.deb      19-Mar-2024 19:40   33K  
 libcoq-dpdgraph_1.0+8.18-1+b1_arm64.deb      19-Mar-2024 19:35   34K  
 libcoq-dpdgraph_1.0+8.18-1+b1_armhf.deb      26-Mar-2024 16:22   32K  
 libcoq-dpdgraph_1.0+8.18-1+b1_i386.deb       19-Mar-2024 19:40   31K  
 libcoq-dpdgraph_1.0+8.18-1+b1_riscv64.deb    11-Apr-2024 05:34   34K  
 libcoq-dpdgraph_1.0+8.18-1_amd64.deb         22-Dec-2023 11:57   33K  
 libcoq-dpdgraph_1.0+8.18-1_arm64.deb         22-Dec-2023 11:51   34K  
 libcoq-dpdgraph_1.0+8.18-1_armhf.deb         22-Dec-2023 11:57   32K  
 libcoq-dpdgraph_1.0+8.18-1_i386.deb          22-Dec-2023 11:57   31K  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!