Index of /mirror/marvin/0/ubuntu_amd64/pool/main/k/kido

	Name	Last modified	Size	Description
	Parent Directory		-
	libkido-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:06	126K
	libkido-gui-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:10	27K
	libkido-gui-osg-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:14	16K
	libkido-gui-osg0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:13	127K
	libkido-gui0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:13	57K
	libkido-optimizer-ipopt-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:17	5.8K
	libkido-optimizer-ipopt0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:02	17K
	libkido-optimizer-nlopt-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:09	5.3K
	libkido-optimizer-nlopt0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:17	15K
	libkido-planning-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:02	10K
	libkido-planning0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:12	109K
	libkido-utils-dev_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:05	13K
	libkido-utils0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:05	186K
	libkido0.1_0.1.0+dfsg-2build9_amd64.deb	2020-04-28 16:18	828K