WNPP bugs submitted by jpuydt@debian.org
- #1010637: ITP: mathcomp-multinomials -- Multivariate polynomials for Mathematical Components (24 day(s) old)
- #1011347: RM: coq-float -- ROM; abandoned upstream since years (9 day(s) old)
- #1011648: ITP: coq-serapi -- Coq plugin for data serialization (4 day(s) old)
WNPP bugs owned by jpuydt@debian.org
- #1010637: ITP: mathcomp-multinomials -- Multivariate polynomials for Mathematical Components (24 day(s) old)
- #1011648: ITP: coq-serapi -- Coq plugin for data serialization (4 day(s) old)
- #721197: ITP: minetest-mod-technic -- Minetest module for (3196 day(s) old)
- #911218: ITP: minetest-mod-mobs-animal -- Minetest module to add animals (1320 day(s) old)