Index of /ftp.sk.debian.org/debian/pool/main/k/kido

	Name	Last modified	Size	Description
	Parent Directory		-
	libkido0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	871K
	libkido-utils0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	200K
	libkido-utils-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	19K
	libkido-planning0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	114K
	libkido-planning-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	16K
	libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	22K
	libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	11K
	libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	24K
	libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	12K
	libkido-gui0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	65K
	libkido-gui-osg0.1_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	136K
	libkido-gui-osg-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	23K
	libkido-gui-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	33K
	libkido-dev_0.1.0+dfsg-6+b1_amd64.deb	2018-11-17 01:14	133K