Bug#635114: fixed in picosat 936-3

2012-03-03 Thread Michael Tautschnig
Hi Nobuhiro, > (I sent previous email only to control@..., so I resend the message > body to 635114@...) > > Dear maintainer, > > picomus binary is still missing in 936-3. Only the man file is provided. > I think that the entry for picomus binary is missing in debian/install. > I'm sorry for t

Bug#635114: fixed in picosat 936-3

2012-01-29 Thread Nobuhiro Ban
(I sent previous email only to control@..., so I resend the message body to 635114@...) Dear maintainer, picomus binary is still missing in 936-3. Only the man file is provided. I think that the entry for picomus binary is missing in debian/install. Regards, Nobuhiro -- To UNSUBSCRIBE, email