Archives
Archives
| From: | "Michał Górny" <mgorny@g.o> |
|---|---|
| To: | gentoo-dev-announce@l.g.o |
| Cc: | gentoo-dev@l.g.o |
| Subject: | [gentoo-dev-announce] Last rites: sci-mathematics/isabelle |
| Date: | Wed, 03 Apr 2019 09:30:37 |
| Message-Id: | 672de3cca65f12fe46784e915861f9b795fe58cb.camel@gentoo.org |
| 1 | # Michał Górny <mgorny@g.o> (03 Apr 2019) |
| 2 | # Depends on dev-lang/polyml that no longer builds. The current version |
| 3 | # is two years old, and needs a bump for 1.5 year. |
| 4 | # Removal in 30 days. Bug #682406. |
| 5 | sci-mathematics/isabelle |
| 6 | |
| 7 | -- |
| 8 | Best regards, |
| 9 | Michał Górny |
| File name | MIME type |
|---|---|
| signature.asc | application/pgp-signature |