Processed: itp
Processing commands for control@bugs.debian.org:
> 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 treinen@debian.org
Bug#241359: ITP: mathpartir -- LaTeX macros for typesetting inference rules
Owner recorded as treinen@debian.org.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: