Index of /raspbian/pool/main/k/kido/

	Name	Last modified	Size
	Parent Directory		-
	kido_0.1.0+dfsg.orig.tar.gz	2016-08-04 12:24	7.0M
	kido_0.1.0+dfsg-6.debian.tar.xz	2018-10-14 23:12	8.6K
	kido_0.1.0+dfsg-6.dsc	2018-10-14 23:12	3.2K
	libkido-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	133K
	libkido-gui-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	33K
	libkido-gui-osg-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	22K
	libkido-gui-osg0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	114K
	libkido-gui0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	54K
	libkido-optimizer-ipopt-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	12K
	libkido-optimizer-ipopt0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	22K
	libkido-optimizer-nlopt-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	11K
	libkido-optimizer-nlopt0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	20K
	libkido-planning-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	16K
	libkido-planning0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	96K
	libkido-utils-dev_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	19K
	libkido-utils0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	167K
	libkido0.1_0.1.0+dfsg-6_armhf.deb	2018-10-24 23:08	721K