pkgs/by-name/ca/cadical/
pkgs/by-name/ca/ · 1 packages and modules · 2 open pull requests
Packages and modules 1
Pull requests 2
lean4: pin cmake deps via cmake-content.json; add updateScript
#537536 by lucasew · opened 3mo ago
various: hardcode finalAttrs.pname to strings draft
#498095 by guylamar2006 · opened 7mo ago · checks pass
Issues 0
None open.