- Mar 13, 2025
-
-
-
-
-
-
Andy Postnikov authored
-
Andy Postnikov authored
-
Andy Postnikov authored
-
Andy Postnikov authored
-
Natanael Copa authored
-
Natanael Copa authored
-
Natanael Copa authored
-
Natanael Copa authored
-
Natanael Copa authored
-
Natanael Copa authored
-
Natanael Copa authored
-
Celeste authored
https://rocq-prover.org/doc/V9.0.0/refman/changes.html#changes-in-9-0-0 I feel this rename is quite a drastic change, so if something stops working, please open an issue at https://gitlab.alpinelinux.org/alpine/aports/-/issues (you may also have to temporarily switch to 3.21-stable while things get fixed)
-
-
-
-
-
-
-
-
-
-
-
-
-
Milan P. Stanić authored
-
Milan P. Stanić authored
remove fix-x86-test.patch, fixed upstream
-
-
enable on all arches and take over maintainership
-
A. Klitzing authored
-
A. Klitzing authored
-