Processing commands for [EMAIL PROTECTED]: > retitle 241359 ITP: mathpartir -- LaTeX macros for typesetting inference rules Bug#241359: RFP: mathpartir -- LaTeX macros for typesetting inference rules Changed Bug title.
> owner 241359 [EMAIL PROTECTED] Bug#241359: ITP: mathpartir -- LaTeX macros for typesetting inference rules Owner recorded as [EMAIL PROTECTED] > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)
