Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/o/ott/

 Name                                Last modified      Size  
 Parent Directory                                         -   
 libcoq-ott_0.32+ds-3+b1_amd64.deb   14-Feb-2023 07:26  160K  
 libcoq-ott_0.32+ds-3+b1_arm64.deb   14-Feb-2023 07:26  160K  
 libcoq-ott_0.32+ds-3+b1_armhf.deb   14-Feb-2023 07:42  160K  
 libcoq-ott_0.32+ds-3+b1_i386.deb    14-Feb-2023 07:42  160K  
 libcoq-ott_0.33+ds-2+b1_amd64.deb   19-Mar-2024 19:51  156K  
 libcoq-ott_0.33+ds-2+b1_arm64.deb   19-Mar-2024 19:46  156K  
 libcoq-ott_0.33+ds-2+b1_armhf.deb   26-Mar-2024 16:38  156K  
 libcoq-ott_0.33+ds-2+b1_i386.deb    19-Mar-2024 19:51  156K  
 libcoq-ott_0.33+ds-2+b2_riscv64.deb 11-Apr-2024 05:54  156K  
 libcoq-ott_0.33+ds-2_amd64.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_i386.deb       22-Dec-2023 12:12  156K  
 ott-tools_0.32+ds-3+b1_amd64.deb    14-Feb-2023 07:26  1.2M  
 ott-tools_0.32+ds-3+b1_arm64.deb    14-Feb-2023 07:26  1.4M  
 ott-tools_0.32+ds-3+b1_armhf.deb    14-Feb-2023 07:42  1.2M  
 ott-tools_0.32+ds-3+b1_i386.deb     14-Feb-2023 07:42  1.2M  
 ott-tools_0.33+ds-2+b1_amd64.deb    19-Mar-2024 19:51  1.3M  
 ott-tools_0.33+ds-2+b1_arm64.deb    19-Mar-2024 19:46  1.4M  
 ott-tools_0.33+ds-2+b1_armhf.deb    26-Mar-2024 16:38  1.2M  
 ott-tools_0.33+ds-2+b1_i386.deb     19-Mar-2024 19:51  1.2M  
 ott-tools_0.33+ds-2+b2_riscv64.deb  11-Apr-2024 05:54  1.3M  
 ott-tools_0.33+ds-2_amd64.deb       22-Dec-2023 12:12  1.3M  
 ott-tools_0.33+ds-2_arm64.deb       22-Dec-2023 12:02  1.4M  
 ott-tools_0.33+ds-2_armhf.deb       22-Dec-2023 12:02  1.2M  
 ott-tools_0.33+ds-2_i386.deb        22-Dec-2023 12:12  1.2M  
 ott_0.32+ds-3.debian.tar.xz         25-Jan-2023 09:58  6.8K  
 ott_0.32+ds-3.dsc                   25-Jan-2023 09:58  2.1K  
 ott_0.32+ds.orig.tar.xz             10-Jul-2022 18:36  1.1M  
 ott_0.33+ds-2.debian.tar.xz         22-Dec-2023 11:21  6.7K  
 ott_0.33+ds-2.dsc                   22-Dec-2023 11:21  2.1K  
 ott_0.33+ds.orig.tar.xz             12-Jun-2023 22:34  1.1M  

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