Processed: coq-highschoolgeometry: block ITP 789432 by RFS 792757
Processing commands for control@bugs.debian.org:
> block 789432 by 792757
Bug #789432 [wnpp] ITP: coq-highschoolgeometry -- coq library for high school geometry proofs/formalisation
789432 was not blocked by any bugs.
789432 was not blocking any bugs.
Added blocking bug(s) of 789432: 792757
> stop
Stopping processing here.
Please contact me if you need assistance.
--
789432: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=789432
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: