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/u/urdfdom-headers/


../
liburdfdom-headers-dev_1.0.5-3_all.deb             21-Dec-2020 23:44               14304
liburdfdom-headers-dev_1.1.2-2_all.deb             10-Apr-2025 10:53               14284
urdfdom-headers_1.0.5-3.debian.tar.xz              21-Dec-2020 23:23                4244
urdfdom-headers_1.0.5-3.dsc                        21-Dec-2020 23:23                2038
urdfdom-headers_1.0.5.orig.tar.gz                  10-Sep-2020 15:23               12613
urdfdom-headers_1.1.2-2.debian.tar.xz              10-Apr-2025 10:27                4436
urdfdom-headers_1.1.2-2.dsc                        10-Apr-2025 10:27                2075
urdfdom-headers_1.1.2.orig.tar.gz                  23-Feb-2025 22:32               12772

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.