WNPP bugs submitted by jpuydt@debian.org
- #1011648: ITP: coq-serapi -- Coq plugin for data serialization (132 day(s) old)
- #1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq (81 day(s) old)
WNPP bugs owned by jpuydt@debian.org
- #1011648: ITP: coq-serapi -- Coq plugin for data serialization (132 day(s) old)
- #1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq (81 day(s) old)
- #1019879: ITP: ppx-hash -- ppx writer generating hash functions (19 day(s) old)
- #721197: ITP: minetest-mod-technic -- Minetest module for (3324 day(s) old)
- #911218: ITP: minetest-mod-mobs-animal -- Minetest module to add animals (1448 day(s) old)