# License for more details.
# You should have received a copy of the GNU Lesser General Public License
- # along with the GNU MP Library. If not, see <http://www.gnu.org/licenses/>.
+ # along with the GNU MP Library. If not, see <https://www.gnu.org/licenses/>.
# INPUT PARAMETERS