diff options
| author |   David Seifert <soap@gentoo.org> | 2022-07-26 21:27:19 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2022-07-26 21:27:19 +0200 |
| commit | 9518cdcd843ace2d861749aec10c811b5417b3c2 (patch) | |
| tree | 59b306eed3abe7aea37748f3b325f9310de8329b /sci-mathematics/why3 | |
| parent | opam.eclass: remove EAPI 5 and 6 (diff) | |
| download | gentoo-9518cdcd843ace2d861749aec10c811b5417b3c2.tar.gz gentoo-9518cdcd843ace2d861749aec10c811b5417b3c2.tar.bz2 gentoo-9518cdcd843ace2d861749aec10c811b5417b3c2.zip | |
opam.eclass: add EAPI 8
Closes: https://github.com/gentoo/gentoo/pull/26565
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3')
0 files changed, 0 insertions, 0 deletions