* [gentoo-dev] Last rites: sci-mathematics/lean:0/3 and sci-mathematics/mathlib-tools
@ 2025-01-02 21:29 Maciej Barć
0 siblings, 0 replies; only message in thread
From: Maciej Barć @ 2025-01-02 21:29 UTC (permalink / raw
To: gentoo-dev; +Cc: gentoo-dev-announce
[-- Attachment #1.1.1: Type: text/plain, Size: 473 bytes --]
profiles/package.mask: mask lean 3 and mathlib-tools
# Maciej Barć <xgqt@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
[-- Attachment #1.1.2: OpenPGP public key --]
[-- Type: application/pgp-keys, Size: 20895 bytes --]
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 495 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2025-01-02 21:29 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-01-02 21:29 [gentoo-dev] Last rites: sci-mathematics/lean:0/3 and sci-mathematics/mathlib-tools Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox