* [gentoo-dev-announce] Last rites: sci-mathematics/isabelle
@ 2019-04-03 9:29 Michał Górny
0 siblings, 0 replies; only message in thread
From: Michał Górny @ 2019-04-03 9:29 UTC (permalink / raw
To: gentoo-dev-announce; +Cc: gentoo-dev
[-- Attachment #1: Type: text/plain, Size: 281 bytes --]
# Michał Górny <mgorny@gentoo.org> (03 Apr 2019)
# Depends on dev-lang/polyml that no longer builds. The current version
# is two years old, and needs a bump for 1.5 year.
# Removal in 30 days. Bug #682406.
sci-mathematics/isabelle
--
Best regards,
Michał Górny
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 963 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2019-04-03 9:30 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-04-03 9:29 [gentoo-dev-announce] Last rites: sci-mathematics/isabelle Michał Górny
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox