Work-needing packages report for Aug 6, 2021

The following is a listing of packages for which help has been requested through the WNPP (Work-Needing and Prospective Packages) system in the last week. Total number of orphaned packages: 1225 (new: 1) Total number of packages offered up for adoption: 204 (new: 1) Total number of packages reques

Bug#991923: ITP: mathlibtools -- supporting tool for Lean mathlib

Package: wnpp Severity: wishlist Owner: Christopher Hoskin X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: mathlibtools Version : 1.0.0 Upstream Author : Leanprover Community https://leanprover.zulipchat.com/ * URL : https://github.com/leanprover-community/