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


../
liburdfdom-headers-dev_0.2.3+dfsg-1_all.deb        17-Jan-2014 01:48               10084
liburdfdom-headers-dev_0.4.1-2_arm64.deb           13-Apr-2016 08:24               12036
liburdfdom-headers-dev_0.4.1-2_armhf.deb           13-Apr-2016 08:24               12062
liburdfdom-headers-dev_1.0.0-1_arm64.deb           15-Aug-2016 00:10               12432
liburdfdom-headers-dev_1.0.0-1_armhf.deb           15-Aug-2016 00:10               12448
liburdfdom-headers-dev_1.0.0-1ubuntu0.1_arm64.deb  30-Oct-2019 00:43               12832
liburdfdom-headers-dev_1.0.0-1ubuntu0.1_armhf.deb  30-Oct-2019 00:43               12844
liburdfdom-headers-dev_1.0.4-1_arm64.deb           10-Jan-2020 23:43               12848
liburdfdom-headers-dev_1.0.4-1_armhf.deb           10-Jan-2020 23:58               12856
liburdfdom-headers-dev_1.0.5-3_all.deb             22-Dec-2020 05:30               14108
urdfdom-headers_0.2.3+dfsg-1.debian.tar.gz         16-Jan-2014 17:18                2141
urdfdom-headers_0.2.3+dfsg-1.dsc                   16-Jan-2014 17:18                2122
urdfdom-headers_0.2.3+dfsg.orig.tar.gz             16-Jan-2014 17:18               10122
urdfdom-headers_0.4.1-2.debian.tar.xz              13-Apr-2016 08:24                2576
urdfdom-headers_0.4.1-2.dsc                        13-Apr-2016 08:24                1748
urdfdom-headers_0.4.1.orig.tar.gz                  18-Feb-2016 05:14               11473
urdfdom-headers_1.0.0-1.debian.tar.xz              14-Aug-2016 23:30                2656
urdfdom-headers_1.0.0-1.dsc                        14-Aug-2016 23:30                2092
urdfdom-headers_1.0.0-1ubuntu0.1.debian.tar.xz     30-Oct-2019 00:33                3968
urdfdom-headers_1.0.0-1ubuntu0.1.dsc               30-Oct-2019 00:33                2244
urdfdom-headers_1.0.0.orig.tar.gz                  14-Aug-2016 23:30               11794
urdfdom-headers_1.0.4-1.debian.tar.xz              10-Jan-2020 23:13                2772
urdfdom-headers_1.0.4-1.dsc                        10-Jan-2020 23:13                1767
urdfdom-headers_1.0.4.orig.tar.gz                  10-Jan-2020 23:13               12447
urdfdom-headers_1.0.5-3.debian.tar.xz              22-Dec-2020 05:14                4244
urdfdom-headers_1.0.5-3.dsc                        22-Dec-2020 05:14                2038
urdfdom-headers_1.0.5.orig.tar.gz                  28-Oct-2020 19:57               12613

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.