Package: k42-devkit
Version: 0.2.0-1
Priority: optional
Section: devel
Maintainer: Amos Waterland <apw@us.ibm.com>
Depends: gcc, g++, flex, byacc, tclx8.4-dev, tk8.4-dev, blt-dev, k42-toolchain, k42-packages (>= 0.2.1)
Architecture: i386
Filename: ./k42-devkit_0.2.0-1_i386.deb
Size: 2244
Installed-Size: 44
MD5sum: 3a03a84d8f20a0bfdd2951497b0593b1
Description: K42 devkit
 'k42-devkit' provides the development kit necessary to build the
 K42 research operating system.

Package: k42-packages
Version: 0.5.4-1
Priority: optional
Section: devel
Maintainer: Amos Waterland <apw@us.ibm.com>
Architecture: i386
Filename: ./k42-packages_0.5.4-1_i386.deb
Size: 343513644
Installed-Size: 1303744
MD5sum: d5033e106d956224d2a7581ce046e910
Description: K42 packages
 'k42-packages' provides the packages necessary to build the
 K42 research operating system.

Package: k42-toolchain
Version: 0.1.0-1
Priority: optional
Section: devel
Maintainer: Amos Waterland <apw@us.ibm.com>
Architecture: i386
Filename: ./k42-toolchain_0.1.0-1_i386.deb
Size: 250781986
Installed-Size: 642140
MD5sum: 675ecfafe7af94769c9f501e552a25c1
Description: K42 toolchain
 'k42-toolchain' provides the cross-compilers necessary to build the
 K42 research operating system.