Index of /ubuntu/pool/universe/x/xenomai
Name Last modified Size Description
Parent Directory -
libxenomai-dev_2.6.2.1-2ubuntu2_amd64.deb 2013-06-08 17:03 350K
libxenomai-dev_2.6.2.1-2ubuntu2_i386.deb 2013-06-08 17:03 347K
libxenomai-dev_2.6.4+dfsg-0.2_amd64.deb 2016-01-01 00:14 261K
libxenomai-dev_2.6.4+dfsg-0.2_i386.deb 2016-01-01 00:24 261K
libxenomai-dev_2.6.4+dfsg-1_amd64.deb 2016-12-21 18:56 261K
libxenomai-dev_2.6.4+dfsg-1_i386.deb 2016-12-21 18:56 259K
libxenomai1_2.6.2.1-2ubuntu2_amd64.deb 2013-06-08 17:03 71K
libxenomai1_2.6.2.1-2ubuntu2_i386.deb 2013-06-08 17:03 73K
libxenomai1_2.6.4+dfsg-0.2_amd64.deb 2016-01-01 00:14 59K
libxenomai1_2.6.4+dfsg-0.2_i386.deb 2016-01-01 00:24 63K
libxenomai1_2.6.4+dfsg-1_amd64.deb 2016-12-21 18:56 59K
libxenomai1_2.6.4+dfsg-1_i386.deb 2016-12-21 18:56 63K
linux-patch-xenomai_2.6.2.1-2ubuntu2_all.deb 2013-06-08 17:03 13M
xenomai-doc_2.6.2.1-2ubuntu2_all.deb 2013-06-08 17:03 19M
xenomai-doc_2.6.4+dfsg-0.2_all.deb 2016-01-01 00:14 17M
xenomai-doc_2.6.4+dfsg-1_all.deb 2016-12-21 18:56 17M
xenomai-kernel-source_2.6.4+dfsg-0.2_all.deb 2016-01-01 00:14 1.1M
xenomai-kernel-source_2.6.4+dfsg-1_all.deb 2016-12-21 18:56 1.1M
xenomai-runtime_2.6.2.1-2ubuntu2_amd64.deb 2013-06-08 17:03 433K
xenomai-runtime_2.6.2.1-2ubuntu2_i386.deb 2013-06-08 17:03 418K
xenomai-system-tools_2.6.4+dfsg-0.2_amd64.deb 2016-01-01 00:14 130K
xenomai-system-tools_2.6.4+dfsg-0.2_i386.deb 2016-01-01 00:24 129K
xenomai-system-tools_2.6.4+dfsg-1_amd64.deb 2016-12-21 18:56 131K
xenomai-system-tools_2.6.4+dfsg-1_i386.deb 2016-12-21 18:56 128K
xenomai_2.6.2.1-2ubuntu2.debian.tar.gz 2013-06-08 17:03 171K
xenomai_2.6.2.1-2ubuntu2.dsc 2013-06-08 17:03 2.1K
xenomai_2.6.2.1.orig.tar.bz2 2013-06-08 16:03 22M
xenomai_2.6.4+dfsg-0.2.debian.tar.xz 2016-01-01 00:14 78K
xenomai_2.6.4+dfsg-0.2.dsc 2016-01-01 00:14 2.3K
xenomai_2.6.4+dfsg-1.debian.tar.xz 2016-12-21 18:23 78K
xenomai_2.6.4+dfsg-1.dsc 2016-12-21 18:23 2.3K
xenomai_2.6.4+dfsg.orig.tar.xz 2015-12-27 14:09 18M
Apache/2.4.41 (Ubuntu) Server at www.ftp.uni-erlangen.de Port 80