Advertisement
Guest User

Untitled

a guest
Dec 21st, 2014
159
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.21 KB | None | 0 0
  1. jesse@jesse-ubuntu:~$ find /usr/local/lib | grep libgm
  2. /usr/local/lib/libgmp.so
  3. /usr/local/lib/libgmp.a
  4. /usr/local/lib/libgmp.so.10.1.3
  5. /usr/local/lib/libgmp.la
  6. /usr/local/lib/libgmp.so.10
  7. jesse@jesse-ubuntu:~$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement