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

Current bandwidth utilization 86.42 Mbit/s

 Name                                    Last modified      Size  
 Parent Directory                                             -   
 coq-simple-io_1.8.0-2.debian.tar.xz     26-Jan-2023 13:44  2.0K  
 coq-simple-io_1.8.0-2.dsc               26-Jan-2023 13:44  2.1K  
 coq-simple-io_1.8.0-4.debian.tar.xz     22-Dec-2023 12:07  2.3K  
 coq-simple-io_1.8.0-4.dsc               22-Dec-2023 12:07  2.1K  
 coq-simple-io_1.8.0.orig.tar.gz         25-Sep-2022 18:20   32K  
 libcoq-simple-io_1.8.0-2+b1_amd64.deb   13-Feb-2023 08:28   88K  
 libcoq-simple-io_1.8.0-2+b1_arm64.deb   13-Feb-2023 08:28   90K  
 libcoq-simple-io_1.8.0-2+b1_armhf.deb   13-Feb-2023 08:28   86K  
 libcoq-simple-io_1.8.0-2+b1_i386.deb    13-Feb-2023 08:44   86K  
 libcoq-simple-io_1.8.0-4+b1_amd64.deb   19-Mar-2024 20:16   88K  
 libcoq-simple-io_1.8.0-4+b1_arm64.deb   19-Mar-2024 20:16   91K  
 libcoq-simple-io_1.8.0-4+b1_armhf.deb   26-Mar-2024 16:53   87K  
 libcoq-simple-io_1.8.0-4+b1_i386.deb    19-Mar-2024 20:11   87K  
 libcoq-simple-io_1.8.0-4+b1_riscv64.deb 11-Apr-2024 06:04   89K  
 libcoq-simple-io_1.8.0-4_amd64.deb      23-Dec-2023 12:52   88K  
 libcoq-simple-io_1.8.0-4_arm64.deb      23-Dec-2023 12:47   90K  
 libcoq-simple-io_1.8.0-4_armhf.deb      23-Dec-2023 12:52   87K  
 libcoq-simple-io_1.8.0-4_i386.deb       23-Dec-2023 12:52   86K  

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