Processing commands for cont...@bugs.debian.org: > retitle 522924 ITP: agda -- a dependently typed functional programming Bug#522924: ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant Changed Bug title to `ITP: agda -- a dependently typed functional programming' from `ITP: agda-stdlib -- standard library for Agda - a dependently typed functional programming language and proof assistant'.
> language and proof assistant Unknown command or malformed arguments to command. > retitle 522914 ITP: agda-stdlib -- standard library for Agda - a Bug#522914: ITP: agda -- a dependently typed functional programming language and proof assistant Changed Bug title to `ITP: agda-stdlib -- standard library for Agda - a' from `ITP: agda -- a dependently typed functional programming language and proof assistant'. > dependently typed functional programming language and proof assistant Unknown command or malformed arguments to command. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
