-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 4 Oct 2002 21:17:49 +0200 Source: lbt Binary: lbt Architecture: source i386 Version: 1.2.1-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <[EMAIL PROTECTED]> Changed-By: Ralf Treinen <[EMAIL PROTECTED]> Description: lbt - Converter of LTL formulas to Buechi automata Closes: 146321 Changes: lbt (1.2.1-1) unstable; urgency=low . * First upload to unstable (closes: Bug#146321). * Added Marko Mäkelä and Heikki Tauriainen to the list of upstream authors. * lbt.doc-base: changed author of doc to Marko Mäkelä. Files: 32bda544564208474be9dc0f6e5ef014 544 math optional lbt_1.2.1-1.dsc 23010e753635193a532e9ac41ed7e8e3 20012 math optional lbt_1.2.1.orig.tar.gz 23d1e96eb174c9152a2f3a0066e7866c 1563 math optional lbt_1.2.1-1.diff.gz 01842c01290b28a2836d3ab52ef119f1 29240 math optional lbt_1.2.1-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.0 (GNU/Linux) iD8DBQE9neoetzWmSeC6BMERAgY/AJoCqbL2D8cRK6VhTlNDQCFy5+D+owCeKE0G 8IP63RI3+GgGqhiXYxcnPVs= =nlHj -----END PGP SIGNATURE----- Accepted: lbt_1.2.1-1.diff.gz to pool/main/l/lbt/lbt_1.2.1-1.diff.gz lbt_1.2.1-1.dsc to pool/main/l/lbt/lbt_1.2.1-1.dsc lbt_1.2.1-1_i386.deb to pool/main/l/lbt/lbt_1.2.1-1_i386.deb lbt_1.2.1.orig.tar.gz to pool/main/l/lbt/lbt_1.2.1.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]