WNPP bugs submitted by jpuydt@debian.org
- #1011648: ITP: coq-serapi -- Coq plugin for data serialization (303 day(s) old)
- #1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq (252 day(s) old)
- #1022549: RFP: python-hatch-nodejs-version -- Hatch plugin for versioning from a package.json file (152 day(s) old)
WNPP bugs owned by jpuydt@debian.org
- #1011648: ITP: coq-serapi -- Coq plugin for data serialization (303 day(s) old)
- #1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq (252 day(s) old)
- #721197: ITP: minetest-mod-technic -- Minetest module for (3495 day(s) old)
- #911218: ITP: minetest-mod-mobs-animal -- Minetest module to add animals (1619 day(s) old)