mersenneforum.org - View Single Post

Xyzzy · 2020-12-24, 01:30

Is this the right information?

Debian 10
libgmp-dev
libgmp-dev_6.1.2+dfsg-4_amd64.deb

Fedora 33
gmp-devel.x86_64
gmp-6.2.0-5.fc33.src.rpm

2020-12-24, 01:30	#3
Xyzzy "Mike" Aug 2002 2⁴×499 Posts	Is this the right information? Debian 10 libgmp-dev libgmp-dev_6.1.2+dfsg-4_amd64.deb Fedora 33 gmp-devel.x86_64 gmp-6.2.0-5.fc33.src.rpm