Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
gh-38682: update fricas to version 1.3.11
routine update to the new version. Will close #38681 - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. URL: #38682 Reported by: Dima Pasechnik Reviewer(s): Kwankyu Lee
- Loading branch information