-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 1 Aug 2005 03:19:16 +0300 Source: pistachio Binary: pistachio-dev pistachio-kernel pistachio-kernel-headers Architecture: source i386 all Version: 0.4+20050706-1 Distribution: unstable Urgency: low Maintainer: Guillem Jover <guillem@debian.org> Changed-By: Guillem Jover <guillem@debian.org> Description: pistachio-dev - L4 microkernel implementation - development libraries pistachio-kernel - L4 microkernel implementation pistachio-kernel-headers - L4 microkernel implementation - kernel headers Closes: 317006 317008 317011 Changes: pistachio (0.4+20050706-1) unstable; urgency=low . * New Upstream Snapshot. - Properly generate make depenecies when the root source directory contains a '+'. (Closes: #317006) Thanks to Uwe Dannowski <ud3@ira.uka.de>. * Remove pistachio-doc. - The refman and the white paper does not have publicly available sources and the refman's license disallows modifications. (Closes: #317008) Thanks to Uwe Dannowski <ud3@ira.uka.de> for noticing. - The abstracts of the docs are not wrong anymore. (Closes: #317011) * Update watch file to version 3 (no changes needed). * Use new dpkg-architecture variables. * Normalize BUILD_CPU variable as well. * Only pass --build and --host when cross-building. * Force Build-Dependency on gcc-3.4. Files: 9ac751537b758a90aa31fb7b1fa5f9e8 684 base optional pistachio_0.4+20050706-1.dsc 5794f500ffc59d4e507b06c041ce185b 1300801 base optional pistachio_0.4+20050706.orig.tar.gz 8b5cf6b2c0a28080f645b12050d9c92c 7912 base optional pistachio_0.4+20050706-1.diff.gz 366f1f7c2d61f972ddfc14a4399c93e0 73040 base optional pistachio-kernel_0.4+20050706-1_i386.deb c34bde6b982a2b410398ea4adb777b08 8344 base optional pistachio-dev_0.4+20050706-1_i386.deb 91a209b63effb392032c530260af0a6d 55658 base optional pistachio-kernel-headers_0.4+20050706-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFC7WvauW9ciZ2SjJsRAitpAKCk5Lyq4QhD5+p/zAIWJ/CYMcJDagCguWmW bJ1dHxe5TiVLp1C3ANpDWeQ= =8kdc -----END PGP SIGNATURE----- Accepted: pistachio-dev_0.4+20050706-1_i386.deb to pool/main/p/pistachio/pistachio-dev_0.4+20050706-1_i386.deb pistachio-kernel-headers_0.4+20050706-1_all.deb to pool/main/p/pistachio/pistachio-kernel-headers_0.4+20050706-1_all.deb pistachio-kernel_0.4+20050706-1_i386.deb to pool/main/p/pistachio/pistachio-kernel_0.4+20050706-1_i386.deb pistachio_0.4+20050706-1.diff.gz to pool/main/p/pistachio/pistachio_0.4+20050706-1.diff.gz pistachio_0.4+20050706-1.dsc to pool/main/p/pistachio/pistachio_0.4+20050706-1.dsc pistachio_0.4+20050706.orig.tar.gz to pool/main/p/pistachio/pistachio_0.4+20050706.orig.tar.gz -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
