The directory factint/gap/ has been renamed to factint/lib/, in order to follow the same naming convention as for the subdirectories of the GAP root directory.
The file factint/doc/manual.js has been added.
How to install
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
This update has been pushed to stable.