Accepted lbt 1.2.1-1 (i386 source)
-----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 <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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
Reply to: