mathlibtools
supporting tool for Lean mathlib

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/mathlibtools

general

source
mathlibtools (extra, misc)
version
1.1.0-1
distro
stable
maint
Debian Python Team, Christopher Hoskin (u)
std-ver
4.6.0.1
VCS
Git (browse)

versions ... ...pool

stable
save 1.1.0-1

binaries

todo

problems

  • This package is neither part of unstable nor experimental. This probably means that the package has been removed (or has been renamed). Thus the information here is of little interest ... the package is going to disappear unless someone takes it over and reintroduces it into unstable.

news RSS

bugs

all bug history graph
0
RC
0
I&N
0
M&W
0
F&P
0