libxenomai-dev_2.6.4+dfsg-1_amd64.deb
libxenomai1_2.6.4+dfsg-1_amd64.deb
xenomai-doc_2.6.4+dfsg-1_all.deb
xenomai-kernel-source_2.6.4+dfsg-1_all.deb
xenomai-system-tools_2.6.4+dfsg-1_amd64.deb