Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/o/ott/?C=S;O=A

 Name                              Last modified      Size  
 Parent Directory                                       -   
 ott_0.32+ds-3.dsc                 25-Jan-2023 09:58  2.1K  
 ott_0.33+ds-2.dsc                 22-Dec-2023 11:21  2.1K  
 ott_0.33+ds-3.dsc                 26-Apr-2024 16:01  2.1K  
 ott_0.33+ds-2.debian.tar.xz       22-Dec-2023 11:21  6.7K  
 ott_0.32+ds-3.debian.tar.xz       25-Jan-2023 09:58  6.8K  
 ott_0.33+ds-3.debian.tar.xz       26-Apr-2024 16:01  7.9K  
 libcoq-ott_0.33+ds-2_i386.deb     22-Dec-2023 12:12  156K  
 libcoq-ott_0.33+ds-2_arm64.deb    22-Dec-2023 12:02  156K  
 libcoq-ott_0.33+ds-2_armhf.deb    22-Dec-2023 12:02  156K  
 libcoq-ott_0.33+ds-2_amd64.deb    22-Dec-2023 12:12  156K  
 libcoq-ott_0.32+ds-3+b1_i386.deb  14-Feb-2023 07:42  160K  
 libcoq-ott_0.32+ds-3+b1_armhf.deb 14-Feb-2023 07:42  160K  
 libcoq-ott_0.32+ds-3+b1_arm64.deb 14-Feb-2023 07:26  160K  
 libcoq-ott_0.32+ds-3+b1_amd64.deb 14-Feb-2023 07:26  160K  
 libcoq-ott_0.33+ds-3_armhf.deb    28-Apr-2024 00:14  163K  
 libcoq-ott_0.33+ds-3_i386.deb     27-Apr-2024 19:50  163K  
 libcoq-ott_0.33+ds-3_amd64.deb    28-Apr-2024 00:03  163K  
 libcoq-ott_0.33+ds-3_riscv64.deb  27-Apr-2024 19:50  163K  
 libcoq-ott_0.33+ds-3_arm64.deb    28-Apr-2024 00:14  163K  
 ott_0.32+ds.orig.tar.xz           10-Jul-2022 18:36  1.1M  
 ott_0.33+ds.orig.tar.xz           12-Jun-2023 22:34  1.1M  
 ott-tools_0.32+ds-3+b1_i386.deb   14-Feb-2023 07:42  1.2M  
 ott-tools_0.33+ds-3_i386.deb      27-Apr-2024 19:50  1.2M  
 ott-tools_0.33+ds-2_i386.deb      22-Dec-2023 12:12  1.2M  
 ott-tools_0.32+ds-3+b1_armhf.deb  14-Feb-2023 07:42  1.2M  
 ott-tools_0.33+ds-3_armhf.deb     28-Apr-2024 00:14  1.2M  
 ott-tools_0.33+ds-2_armhf.deb     22-Dec-2023 12:02  1.2M  
 ott-tools_0.32+ds-3+b1_amd64.deb  14-Feb-2023 07:26  1.2M  
 ott-tools_0.33+ds-3_amd64.deb     28-Apr-2024 00:03  1.3M  
 ott-tools_0.33+ds-2_amd64.deb     22-Dec-2023 12:12  1.3M  
 ott-tools_0.33+ds-3_riscv64.deb   27-Apr-2024 19:50  1.3M  
 ott-tools_0.32+ds-3+b1_arm64.deb  14-Feb-2023 07:26  1.4M  
 ott-tools_0.33+ds-3_arm64.deb     28-Apr-2024 00:14  1.4M  
 ott-tools_0.33+ds-2_arm64.deb     22-Dec-2023 12:02  1.4M  

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