Index of /pub/ubuntu/pool/universe/c/coq-simple-io/

../
coq-simple-io_1.10.0-1.debian.tar.xz               20-Nov-2024 18:47                2660
coq-simple-io_1.10.0-1.dsc                         20-Nov-2024 18:47                2170
coq-simple-io_1.10.0-1build1.debian.tar.xz         21-Nov-2024 07:16                2724
coq-simple-io_1.10.0-1build1.dsc                   21-Nov-2024 07:16                2169
coq-simple-io_1.10.0.orig.tar.gz                   20-Nov-2024 18:47               34396
coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz         16-Aug-2022 08:39                2080
coq-simple-io_1.7.0-2ubuntu1.dsc                   16-Aug-2022 08:39                2149
coq-simple-io_1.7.0.orig.tar.gz                    09-Jul-2022 05:18               26183
coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz         16-Feb-2023 18:50                2300
coq-simple-io_1.8.0-2ubuntu2.dsc                   16-Feb-2023 18:50                2154
coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz         26-Jul-2023 05:19                2460
coq-simple-io_1.8.0-3ubuntu2.dsc                   26-Jul-2023 05:19                2154
coq-simple-io_1.8.0-4ubuntu4.debian.tar.xz         08-Apr-2024 07:57                3328
coq-simple-io_1.8.0-4ubuntu4.dsc                   08-Apr-2024 07:57                2233
coq-simple-io_1.8.0.orig.tar.gz                    05-Nov-2022 14:08               32939
coq-simple-io_1.9.0-1.debian.tar.xz                02-May-2024 08:09                2568
coq-simple-io_1.9.0-1.dsc                          02-May-2024 08:09                2163
coq-simple-io_1.9.0-1build1.debian.tar.xz          02-May-2024 20:28                2628
coq-simple-io_1.9.0-1build1.dsc                    02-May-2024 20:28                2162
coq-simple-io_1.9.0-1build2.debian.tar.xz          13-May-2024 18:39                2644
coq-simple-io_1.9.0-1build2.dsc                    13-May-2024 18:39                2162
coq-simple-io_1.9.0-1build3.debian.tar.xz          15-Jun-2024 14:43                2660
coq-simple-io_1.9.0-1build3.dsc                    15-Jun-2024 14:43                2162
coq-simple-io_1.9.0-2.debian.tar.xz                04-Aug-2024 11:34                2644
coq-simple-io_1.9.0-2.dsc                          04-Aug-2024 11:34                1936
coq-simple-io_1.9.0-2build1.debian.tar.xz          15-Aug-2024 07:47                2696
coq-simple-io_1.9.0-2build1.dsc                    15-Aug-2024 07:47                2162
coq-simple-io_1.9.0-2build2.debian.tar.xz          07-Sep-2024 07:08                2760
coq-simple-io_1.9.0-2build2.dsc                    07-Sep-2024 07:08                2162
coq-simple-io_1.9.0-2build3.debian.tar.xz          07-Sep-2024 19:04                2764
coq-simple-io_1.9.0-2build3.dsc                    07-Sep-2024 19:04                2162
coq-simple-io_1.9.0.orig.tar.gz                    02-May-2024 08:09               34147
libcoq-simple-io_1.10.0-1_amd64.deb                20-Nov-2024 18:48              277536
libcoq-simple-io_1.10.0-1build1_amd64.deb          21-Nov-2024 08:16              273228
libcoq-simple-io_1.7.0-2ubuntu1_amd64.deb          16-Aug-2022 08:39               87224
libcoq-simple-io_1.8.0-2ubuntu2_amd64.deb          16-Feb-2023 20:44               97286
libcoq-simple-io_1.8.0-3ubuntu2_amd64.deb          26-Jul-2023 07:55               97246
libcoq-simple-io_1.8.0-4ubuntu4_amd64.deb          08-Apr-2024 10:59               98068
libcoq-simple-io_1.9.0-1_amd64.deb                 02-May-2024 08:10              213190
libcoq-simple-io_1.9.0-1build1_amd64.deb           02-May-2024 22:58              214432
libcoq-simple-io_1.9.0-1build2_amd64.deb           13-May-2024 18:40              214462
libcoq-simple-io_1.9.0-1build3_amd64.deb           15-Jun-2024 16:49              214174
libcoq-simple-io_1.9.0-2_amd64.deb                 04-Aug-2024 19:00              230156
libcoq-simple-io_1.9.0-2build1_amd64.deb           15-Aug-2024 10:32              273918
libcoq-simple-io_1.9.0-2build2_amd64.deb           07-Sep-2024 08:10              273942
libcoq-simple-io_1.9.0-2build3_amd64.deb           07-Sep-2024 19:05              273792