profiles/package.mask: mask lean 3 and mathlib-tools # Maciej Barć <x...@gentoo.org> (2025-01-02) # Deprecated LEAN 3 packages. The "mathlib-tools" repo is archived# (https://github.com/leanprover-community/mathlib-tools). Migrate to LEAN 4.
# Removal on 2025-02-02 sci-mathematics/lean:0/3 sci-mathematics/mathlib-tools
-- Have a great day! ~ Maciej Barć https://wiki.gentoo.org/wiki/User:Xgqt 9B0A 4C5D 02A3 B43C 9D6F D6B1 14D7 4A1F 43A6 AC3C
OpenPGP_0x14D74A1F43A6AC3C.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
