-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 7 Aug 2002 10:12:39 +0200 Source: cwi-srts Binary: cwi-srts-dev Architecture: source i386 Version: 0.8-2 Distribution: unstable Urgency: low Maintainer: Julien LEMOINE <speedblue@debian.org> Changed-By: Julien LEMOINE <speedblue@debian.org> Description: cwi-srts-dev - The Stratego Run Time System Changes: cwi-srts (0.8-2) unstable; urgency=low . * added build depends on flex Files: 67cf06477abac69b5922e3a42ae957e5 611 devel optional cwi-srts_0.8-2.dsc 5463c1485e0dced474870f4d58d7e712 23502 devel optional cwi-srts_0.8-2.diff.gz 1432ef661f0e24a78e3a24e6d2edc33c 43392 devel optional cwi-srts-dev_0.8-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9UNcZc29c8N2YKnURAviuAJ9gzh0O2H4432VmtL99se8vwDu/bgCggM6m 7NpcW2pAMgMC+7k6PSmBAiE= =j5JD -----END PGP SIGNATURE----- Accepted: cwi-srts-dev_0.8-2_i386.deb to pool/main/c/cwi-srts/cwi-srts-dev_0.8-2_i386.deb cwi-srts_0.8-2.diff.gz to pool/main/c/cwi-srts/cwi-srts_0.8-2.diff.gz cwi-srts_0.8-2.dsc to pool/main/c/cwi-srts/cwi-srts_0.8-2.dsc