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_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
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