WNPP bugs submitted by jpuydt@debian.org
- #1111824: ITP: rocq-stdlib -- Rocq's Standard library (32 day(s) old)
WNPP bugs owned by jpuydt@debian.org
- #1073584: ITP: ppxlib-jane -- Utilities to work on Abstract Syntex Trees of the Jane Street OCaml compiler (462 day(s) old)
- #1096067: ITP: metacoq -- Coq formalization in Coq (219 day(s) old)
- #1111824: ITP: rocq-stdlib -- Rocq's Standard library (32 day(s) old)
- #721197: ITP: minetest-mod-technic -- Minetest module for (4408 day(s) old)
- #911218: ITP: minetest-mod-mobs-animal -- Minetest module to add animals (2533 day(s) old)