Index of /pub/Linux/INSTALL/Debian/pool/main/o/ott

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                            -   
[   ] libcoq-ott_0.32+ds-3+b1_amd64.deb      2023-02-14 06:26  160K  
[   ] libcoq-ott_0.32+ds-3+b1_arm64.deb      2023-02-14 06:26  160K  
[   ] libcoq-ott_0.32+ds-3+b1_armhf.deb      2023-02-14 06:42  160K  
[   ] libcoq-ott_0.32+ds-3+b1_i386.deb       2023-02-14 06:42  160K  
[   ] libcoq-ott_0.32+ds-3+b1_ppc64el.deb    2023-02-14 06:57  160K  
[   ] libcoq-ott_0.32+ds-3+b1_s390x.deb      2023-02-14 06:42  160K  
[   ] libcoq-ott_0.33+ds-2+b1_amd64.deb      2024-03-19 18:51  156K  
[   ] libcoq-ott_0.33+ds-2+b1_arm64.deb      2024-03-19 18:46  156K  
[   ] libcoq-ott_0.33+ds-2+b1_armhf.deb      2024-03-26 15:38  156K  
[   ] libcoq-ott_0.33+ds-2+b1_i386.deb       2024-03-19 18:51  156K  
[   ] libcoq-ott_0.33+ds-2+b1_ppc64el.deb    2024-03-19 18:46  157K  
[   ] libcoq-ott_0.33+ds-2+b1_s390x.deb      2024-03-19 21:14  156K  
[   ] libcoq-ott_0.33+ds-2+b2_riscv64.deb    2024-04-11 03:54  156K  
[   ] libcoq-ott_0.33+ds-2_amd64.deb         2023-12-22 11:12  156K  
[   ] libcoq-ott_0.33+ds-2_arm64.deb         2023-12-22 11:02  156K  
[   ] libcoq-ott_0.33+ds-2_armhf.deb         2023-12-22 11:02  156K  
[   ] libcoq-ott_0.33+ds-2_i386.deb          2023-12-22 11:12  156K  
[   ] libcoq-ott_0.33+ds-2_ppc64el.deb       2023-12-22 10:57  156K  
[   ] libcoq-ott_0.33+ds-2_s390x.deb         2023-12-22 11:02  156K  
[   ] libcoq-ott_0.33+ds-3_amd64.deb         2024-04-27 22:03  163K  
[   ] libcoq-ott_0.33+ds-3_arm64.deb         2024-04-27 22:14  163K  
[   ] libcoq-ott_0.33+ds-3_armhf.deb         2024-04-27 22:14  163K  
[   ] libcoq-ott_0.33+ds-3_i386.deb          2024-04-27 17:50  163K  
[   ] libcoq-ott_0.33+ds-3_ppc64el.deb       2024-04-27 17:12  163K  
[   ] libcoq-ott_0.33+ds-3_riscv64.deb       2024-04-27 17:50  163K  
[   ] libcoq-ott_0.33+ds-3_s390x.deb         2024-04-27 22:42  163K  
[   ] ott-tools_0.32+ds-3+b1_amd64.deb       2023-02-14 06:26  1.2M  
[   ] ott-tools_0.32+ds-3+b1_arm64.deb       2023-02-14 06:26  1.4M  
[   ] ott-tools_0.32+ds-3+b1_armhf.deb       2023-02-14 06:42  1.2M  
[   ] ott-tools_0.32+ds-3+b1_i386.deb        2023-02-14 06:42  1.2M  
[   ] ott-tools_0.32+ds-3+b1_ppc64el.deb     2023-02-14 06:57  1.3M  
[   ] ott-tools_0.32+ds-3+b1_s390x.deb       2023-02-14 06:42  1.3M  
[   ] ott-tools_0.33+ds-2+b1_amd64.deb       2024-03-19 18:51  1.3M  
[   ] ott-tools_0.33+ds-2+b1_arm64.deb       2024-03-19 18:46  1.4M  
[   ] ott-tools_0.33+ds-2+b1_armhf.deb       2024-03-26 15:38  1.2M  
[   ] ott-tools_0.33+ds-2+b1_i386.deb        2024-03-19 18:51  1.2M  
[   ] ott-tools_0.33+ds-2+b1_ppc64el.deb     2024-03-19 18:46  1.3M  
[   ] ott-tools_0.33+ds-2+b1_s390x.deb       2024-03-19 21:14  1.3M  
[   ] ott-tools_0.33+ds-2+b2_riscv64.deb     2024-04-11 03:54  1.3M  
[   ] ott-tools_0.33+ds-2_amd64.deb          2023-12-22 11:12  1.3M  
[   ] ott-tools_0.33+ds-2_arm64.deb          2023-12-22 11:02  1.4M  
[   ] ott-tools_0.33+ds-2_armhf.deb          2023-12-22 11:02  1.2M  
[   ] ott-tools_0.33+ds-2_i386.deb           2023-12-22 11:12  1.2M  
[   ] ott-tools_0.33+ds-2_ppc64el.deb        2023-12-22 10:57  1.3M  
[   ] ott-tools_0.33+ds-2_s390x.deb          2023-12-22 11:02  1.3M  
[   ] ott-tools_0.33+ds-3_amd64.deb          2024-04-27 22:03  1.3M  
[   ] ott-tools_0.33+ds-3_arm64.deb          2024-04-27 22:14  1.4M  
[   ] ott-tools_0.33+ds-3_armhf.deb          2024-04-27 22:14  1.2M  
[   ] ott-tools_0.33+ds-3_i386.deb           2024-04-27 17:50  1.2M  
[   ] ott-tools_0.33+ds-3_ppc64el.deb        2024-04-27 17:12  1.3M  
[   ] ott-tools_0.33+ds-3_riscv64.deb        2024-04-27 17:50  1.3M  
[   ] ott-tools_0.33+ds-3_s390x.deb          2024-04-27 22:42  1.3M  
[   ] ott_0.32+ds-3.debian.tar.xz            2023-01-25 08:58  6.8K  
[TXT] ott_0.32+ds-3.dsc                      2023-01-25 08:58  2.1K  
[   ] ott_0.32+ds.orig.tar.xz                2022-07-10 16:36  1.1M  
[   ] ott_0.33+ds-2.debian.tar.xz            2023-12-22 10:21  6.7K  
[TXT] ott_0.33+ds-2.dsc                      2023-12-22 10:21  2.1K  
[   ] ott_0.33+ds-3.debian.tar.xz            2024-04-26 14:01  7.9K  
[TXT] ott_0.33+ds-3.dsc                      2024-04-26 14:01  2.1K  
[   ] ott_0.33+ds.orig.tar.xz                2023-06-12 20:34  1.1M