Index of /ubuntu-old-releases/ubuntu/pool/universe/c/coq-dpdgraph/

../
coq-dpdgraph-tools_1.0+8.15-2_amd64.deb            16-Jul-2022 17:24             1197638
coq-dpdgraph-tools_1.0+8.15-2_arm64.deb            16-Jul-2022 17:24             1197636
coq-dpdgraph-tools_1.0+8.15-2_armhf.deb            16-Jul-2022 17:24             1197524
coq-dpdgraph-tools_1.0+8.15-2_ppc64el.deb          16-Jul-2022 17:24             1197640
coq-dpdgraph-tools_1.0+8.15-2_riscv64.deb          16-Jul-2022 17:43             1197640
coq-dpdgraph-tools_1.0+8.15-2_s390x.deb            17-Jul-2022 03:59             1197640
coq-dpdgraph-tools_1.0+8.16-2build2_amd64.deb      16-Feb-2023 18:50             1197800
coq-dpdgraph-tools_1.0+8.16-2build2_arm64.deb      16-Feb-2023 18:50             1197802
coq-dpdgraph-tools_1.0+8.16-2build2_armhf.deb      16-Feb-2023 18:50             1197650
coq-dpdgraph-tools_1.0+8.16-2build2_ppc64el.deb    16-Feb-2023 18:50             1197800
coq-dpdgraph-tools_1.0+8.16-2build2_riscv64.deb    16-Feb-2023 19:44             1197804
coq-dpdgraph-tools_1.0+8.16-2build2_s390x.deb      16-Feb-2023 18:50             1197790
coq-dpdgraph-tools_1.0+8.17-1build1_amd64.deb      26-Jul-2023 06:22             1197854
coq-dpdgraph-tools_1.0+8.17-1build1_arm64.deb      26-Jul-2023 06:22             1197856
coq-dpdgraph-tools_1.0+8.17-1build1_armhf.deb      26-Jul-2023 06:22             1197470
coq-dpdgraph-tools_1.0+8.17-1build1_ppc64el.deb    26-Jul-2023 06:22             1197854
coq-dpdgraph-tools_1.0+8.17-1build1_riscv64.deb    26-Jul-2023 06:55             1197856
coq-dpdgraph-tools_1.0+8.17-1build1_s390x.deb      26-Jul-2023 06:22             1197846
coq-dpdgraph_1.0+8.15-2.debian.tar.xz              16-Jul-2022 17:24                2840
coq-dpdgraph_1.0+8.15-2.dsc                        16-Jul-2022 17:24                2359
coq-dpdgraph_1.0+8.15.orig.tar.gz                  01-Jul-2022 23:29               64224
coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz        16-Feb-2023 18:50                2820
coq-dpdgraph_1.0+8.16-2build2.dsc                  16-Feb-2023 18:50                2207
coq-dpdgraph_1.0+8.16.orig.tar.gz                  06-Nov-2022 03:17               66055
coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz        26-Jul-2023 05:19                2960
coq-dpdgraph_1.0+8.17-1build1.dsc                  26-Jul-2023 05:19                2217
coq-dpdgraph_1.0+8.17.orig.tar.gz                  13-Jun-2023 05:30               66065
libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb     16-Jul-2022 17:24               17198
libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_arm64.deb     16-Jul-2022 17:24               17198
libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_armhf.deb     16-Jul-2022 17:24               17184
libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_ppc64el.deb   16-Jul-2022 17:24               17198
libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_riscv64.deb   16-Jul-2022 17:43               17196
libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_s390x.deb     17-Jul-2022 03:59               17200
libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb         16-Jul-2022 17:24               22844
libcoq-dpdgraph-ocaml_1.0+8.15-2_arm64.deb         16-Jul-2022 17:24               25940
libcoq-dpdgraph-ocaml_1.0+8.15-2_armhf.deb         16-Jul-2022 17:24               22258
libcoq-dpdgraph-ocaml_1.0+8.15-2_ppc64el.deb       16-Jul-2022 17:24               24500
libcoq-dpdgraph-ocaml_1.0+8.15-2_riscv64.deb       16-Jul-2022 17:43               22784
libcoq-dpdgraph-ocaml_1.0+8.15-2_s390x.deb         17-Jul-2022 03:59               22936
libcoq-dpdgraph_1.0+8.15-2_amd64.deb               16-Jul-2022 17:24                2792
libcoq-dpdgraph_1.0+8.15-2_arm64.deb               16-Jul-2022 17:24                2800
libcoq-dpdgraph_1.0+8.15-2_armhf.deb               16-Jul-2022 17:24                2790
libcoq-dpdgraph_1.0+8.15-2_ppc64el.deb             16-Jul-2022 17:24                2792
libcoq-dpdgraph_1.0+8.15-2_riscv64.deb             16-Jul-2022 17:43                2794
libcoq-dpdgraph_1.0+8.15-2_s390x.deb               17-Jul-2022 03:59                2796
libcoq-dpdgraph_1.0+8.16-2build2_amd64.deb         16-Feb-2023 18:50               34568
libcoq-dpdgraph_1.0+8.16-2build2_arm64.deb         16-Feb-2023 18:50               37832
libcoq-dpdgraph_1.0+8.16-2build2_armhf.deb         16-Feb-2023 18:50               33630
libcoq-dpdgraph_1.0+8.16-2build2_ppc64el.deb       16-Feb-2023 18:50               36022
libcoq-dpdgraph_1.0+8.16-2build2_riscv64.deb       16-Feb-2023 19:44               34650
libcoq-dpdgraph_1.0+8.16-2build2_s390x.deb         16-Feb-2023 18:50               34586
libcoq-dpdgraph_1.0+8.17-1build1_amd64.deb         26-Jul-2023 06:22               34894
libcoq-dpdgraph_1.0+8.17-1build1_arm64.deb         26-Jul-2023 06:22               38204
libcoq-dpdgraph_1.0+8.17-1build1_armhf.deb         26-Jul-2023 06:22               34244
libcoq-dpdgraph_1.0+8.17-1build1_ppc64el.deb       26-Jul-2023 06:22               36430
libcoq-dpdgraph_1.0+8.17-1build1_riscv64.deb       26-Jul-2023 06:55               35090
libcoq-dpdgraph_1.0+8.17-1build1_s390x.deb         26-Jul-2023 06:22               34944