| 1 | | The renaming of `libfplll` -> `fplll` causes downgrades sage-7.4.rc0 -> sage-7.4.beta6 to fail since the build system does not know that `libfplll` was replaced by `fplll`. Therefore, after such a downgrade, the `libfplll` package is not reinstalled. |
| | 1 | In #21221, the package `libfplll` was renamed to `fplll`. |
| | 2 | |
| | 3 | When building `fplll`, the old `libfplll` from sage-7.4.beta6 and earlier is still marked as installed. |
| | 4 | |
| | 5 | This causes downgrades sage-7.4.rc0 -> sage-7.4.beta6 to fail since the build system does not know that `libfplll` was replaced by `fplll`. Therefore, after such a downgrade, the `libfplll` package is not reinstalled. |
