Pieter Wuille 1f233b3fa0 Remove num/gmp support ...

The whole "num" API and its libgmp-based implementation are now unused. Remove them.

2021-03-15 13:01:52 -07:00

..

cirrus.sh

Remove num/gmp support

2021-03-15 13:01:52 -07:00

linux-debian.Dockerfile

Remove num/gmp support

2021-03-15 13:01:52 -07:00