Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/c/coq-dpdgraph/?C=S;O=A

 Name                                       Last modified      Size  
 Parent Directory                                                -   
 coq-dpdgraph_1.0+8.16-2.dsc                25-Jan-2023 07:56  2.2K  
 coq-dpdgraph_1.0+8.18-1.dsc                22-Dec-2023 11:16  2.2K  
 coq-dpdgraph_1.0+8.19-1.dsc                26-Apr-2024 15:46  2.2K  
 coq-dpdgraph_1.0+8.16-2.debian.tar.xz      25-Jan-2023 07:56  2.7K  
 coq-dpdgraph_1.0+8.18-1.debian.tar.xz      22-Dec-2023 11:16  3.0K  
 coq-dpdgraph_1.0+8.19-1.debian.tar.xz      26-Apr-2024 15:46  3.0K  
 libcoq-dpdgraph_1.0+8.16-2+b1_i386.deb     14-Feb-2023 07:11   31K  
 libcoq-dpdgraph_1.0+8.18-1_i386.deb        22-Dec-2023 11:57   31K  
 libcoq-dpdgraph_1.0+8.19-1_i386.deb        27-Apr-2024 19:39   32K  
 libcoq-dpdgraph_1.0+8.16-2+b1_armhf.deb    14-Feb-2023 07:11   32K  
 libcoq-dpdgraph_1.0+8.18-1_armhf.deb       22-Dec-2023 11:57   32K  
 libcoq-dpdgraph_1.0+8.19-1_armhf.deb       28-Apr-2024 00:03   32K  
 libcoq-dpdgraph_1.0+8.16-2+b1_amd64.deb    14-Feb-2023 07:11   32K  
 libcoq-dpdgraph_1.0+8.18-1_amd64.deb       22-Dec-2023 11:57   33K  
 libcoq-dpdgraph_1.0+8.19-1_amd64.deb       28-Apr-2024 00:03   33K  
 libcoq-dpdgraph_1.0+8.19-1_riscv64.deb     27-Apr-2024 19:28   34K  
 libcoq-dpdgraph_1.0+8.16-2+b1_arm64.deb    14-Feb-2023 07:11   34K  
 libcoq-dpdgraph_1.0+8.18-1_arm64.deb       22-Dec-2023 11:51   34K  
 libcoq-dpdgraph_1.0+8.19-1_arm64.deb       28-Apr-2024 00:03   35K  
 coq-dpdgraph_1.0+8.16.orig.tar.gz          06-Sep-2022 11:04   65K  
 coq-dpdgraph_1.0+8.18.orig.tar.gz          22-Dec-2023 11:16   65K  
 coq-dpdgraph_1.0+8.19.orig.tar.gz          26-Apr-2024 15:46   65K  
 coq-dpdgraph-tools_1.0+8.16-2+b1_i386.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_amd64.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.18-1_arm64.deb    22-Dec-2023 11:51  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.19-1_armhf.deb    28-Apr-2024 00:03  1.0M  
 coq-dpdgraph-tools_1.0+8.19-1_i386.deb     27-Apr-2024 19:39  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-tools_1.0+8.19-1_amd64.deb    28-Apr-2024 00:03  1.0M  
 coq-dpdgraph-tools_1.0+8.19-1_arm64.deb    28-Apr-2024 00:03  1.0M  
 coq-dpdgraph-tools_1.0+8.19-1_riscv64.deb  27-Apr-2024 19:28  1.0M  

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