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 /debian/pool/main/c/coq-dpdgraph/

../
coq-dpdgraph-tools_1.0+8.16-2+b1_amd64.deb         14-Feb-2023 06:11              954868
coq-dpdgraph-tools_1.0+8.16-2+b1_arm64.deb         14-Feb-2023 06:11              954788
coq-dpdgraph-tools_1.0+8.16-2+b1_i386.deb          14-Feb-2023 06:11              954556
coq-dpdgraph-tools_1.0+8.20-1+b4_amd64.deb         15-Jun-2025 01:48             1116848
coq-dpdgraph-tools_1.0+8.20-1+b4_arm64.deb         15-Jun-2025 05:32             1117388
coq-dpdgraph-tools_1.0+8.20-1+b7_amd64.deb         19-Jun-2026 06:24             1145756
coq-dpdgraph-tools_1.0+8.20-1+b7_arm64.deb         19-Jun-2026 07:21             1146200
coq-dpdgraph-tools_1.0+9.1-2+b1_amd64.deb          28-Jul-2026 10:15              648284
coq-dpdgraph-tools_1.0+9.1-2_amd64.deb             28-Jul-2026 09:29              647336
coq-dpdgraph-tools_1.0+9.1-2_arm64.deb             28-Jul-2026 09:44              725052
coq-dpdgraph_1.0+8.16-2.debian.tar.xz              25-Jan-2023 06:56                2744
coq-dpdgraph_1.0+8.16-2.dsc                        25-Jan-2023 06:56                2208
coq-dpdgraph_1.0+8.16.orig.tar.gz                  06-Sep-2022 09:04               66055
coq-dpdgraph_1.0+8.20-1.debian.tar.xz              20-Nov-2024 09:52                3152
coq-dpdgraph_1.0+8.20-1.dsc                        20-Nov-2024 09:52                2218
coq-dpdgraph_1.0+8.20.orig.tar.gz                  20-Nov-2024 09:52               66256
coq-dpdgraph_1.0+9.1-1.debian.tar.xz               10-Jul-2026 10:52                3148
coq-dpdgraph_1.0+9.1-1.dsc                         10-Jul-2026 10:52                2220
coq-dpdgraph_1.0+9.1-2.debian.tar.xz               28-Jul-2026 09:29                3172
coq-dpdgraph_1.0+9.1-2.dsc                         28-Jul-2026 09:29                2220
coq-dpdgraph_1.0+9.1.orig.tar.gz                   10-Jul-2026 10:52               64581
libcoq-dpdgraph_1.0+8.16-2+b1_amd64.deb            14-Feb-2023 06:11               33140
libcoq-dpdgraph_1.0+8.16-2+b1_arm64.deb            14-Feb-2023 06:11               34632
libcoq-dpdgraph_1.0+8.16-2+b1_i386.deb             14-Feb-2023 06:11               31440
libcoq-dpdgraph_1.0+8.20-1+b4_amd64.deb            15-Jun-2025 01:48               36852
libcoq-dpdgraph_1.0+8.20-1+b4_arm64.deb            15-Jun-2025 05:32               37988
libcoq-dpdgraph_1.0+8.20-1+b7_amd64.deb            19-Jun-2026 06:24               36124
libcoq-dpdgraph_1.0+8.20-1+b7_arm64.deb            19-Jun-2026 07:21               37180
libcoq-dpdgraph_1.0+9.1-2+b1_amd64.deb             28-Jul-2026 10:15               36080
libcoq-dpdgraph_1.0+9.1-2_amd64.deb                28-Jul-2026 09:29               35764
libcoq-dpdgraph_1.0+9.1-2_arm64.deb                28-Jul-2026 09:44               37220

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.