| Summary: | sci-mathematics/why3-for-spark: package new version | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Sam James <sam> |
| Component: | Current packages | Assignee: | Gentoo Linux ADA team <ada> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| See Also: | https://bugs.gentoo.org/show_bug.cgi?id=947222 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
|
Description
Sam James
2024-12-31 16:52:41 UTC
commit 5180293d985699615c664fd41f6ca48e5d3db1ff Author: Alfredo Tupone <tupone@gentoo.org> Date: Tue Feb 11 18:08:37 2025 +0100 sci-mathematics/why3-for-spark: fix for spark Signed-off-by: Alfredo Tupone <tupone@gentoo.org> commit 25f41bc933d17176258a0cb7a2dcddb4b3008cb7 Author: Alfredo Tupone <tupone@gentoo.org> Date: Sat Feb 8 22:52:55 2025 +0100 sci-mathematics/why3-for-spark: keyword 2023.12.13-r1 for ~arm64 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> commit 0ce761414e3e10334c3f5b0494aafc5cb9761400 Author: Alfredo Tupone <tupone@gentoo.org> Date: Sat Feb 8 21:37:40 2025 +0100 sci-mathematics/why3-for-spark: requires older coq Signed-off-by: Alfredo Tupone <tupone@gentoo.org> commit 1eea6c611d6f09b6e77a2f06fdc3bf201b1b4db4 Author: Alfredo Tupone <tupone@gentoo.org> Date: Fri Feb 7 21:52:53 2025 +0100 sci-mathematics/why3-for-spark: add 2023.12.13 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> |