The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.

Index of /ubuntu-ports/pool/universe/c/coq-dpdgraph/

../
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.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.18-1build3_arm64.deb      08-Apr-2024 07:57             1300620
coq-dpdgraph-tools_1.0+8.18-1build3_armhf.deb      08-Apr-2024 07:57             1301382
coq-dpdgraph-tools_1.0+8.19-1build1_arm64.deb      15-Jun-2024 15:23             1271388
coq-dpdgraph-tools_1.0+8.19-1build1_armhf.deb      15-Jun-2024 15:23             1271486
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
coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz        08-Apr-2024 07:57                3252
coq-dpdgraph_1.0+8.18-1build3.dsc                  08-Apr-2024 07:57                2296
coq-dpdgraph_1.0+8.18.orig.tar.gz                  22-Dec-2023 17:26               66066
coq-dpdgraph_1.0+8.19-1build1.debian.tar.xz        15-Jun-2024 14:43                3124
coq-dpdgraph_1.0+8.19-1build1.dsc                  15-Jun-2024 14:43                2217
coq-dpdgraph_1.0+8.19.orig.tar.gz                  02-May-2024 11:53               66193
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.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.18-1build3_arm64.deb         08-Apr-2024 07:57               38576
libcoq-dpdgraph_1.0+8.18-1build3_armhf.deb         08-Apr-2024 07:57               34470
libcoq-dpdgraph_1.0+8.19-1build1_arm64.deb         15-Jun-2024 15:23               38910
libcoq-dpdgraph_1.0+8.19-1build1_armhf.deb         15-Jun-2024 15:23               35258

These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.