Remove building with NOCRYPTO option47/3547/1freenode-registration-for-minix-by-saturn-96c65005master
[minix.git] / external / lgpl3 / gmp / lib / libgmp / arch / vax / 
tree7d19dbabca6bf1eba996e9e8845d298dcdde131f
drwxr-xr-x   ..
-rw-r--r-- 3630 Makefile.inc
-rw-r--r-- 20767 config.h
-rw-r--r-- 1010 config.m4
-rw-r--r-- 1953 gmp-mparam.h
-rw-r--r-- 79853 gmp.h