Skip to content

Instantly share code, notes, and snippets.

@r-ryantm
Created January 27, 2020 16:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save r-ryantm/547c6bf0e88eae5140d7f1dcec4f50a1 to your computer and use it in GitHub Desktop.
Save r-ryantm/547c6bf0e88eae5140d7f1dcec4f50a1 to your computer and use it in GitHub Desktop.
/nix/store/6y0gxl1rsl176p908dvp6d4yjs6wfqml-ocaml4.07.1-mlgmpidl-1.2.12
└── lib
└── ocaml
└── 4.07.1
└── site-lib
└── gmp
├── dllgmp_caml.so
├── gmp.a
├── gmp_caml.h
├── gmp.cma
├── gmp.cmxa
├── gmp.cmxs
├── gmp.p.a
├── gmp.p.cmxa
├── gmp_random.cmi
├── gmp_random.cmx
├── gmp_random.idl
├── gmp_random.ml
├── gmp_random.mli
├── gmp_random.p.cmx
├── libgmp_caml.a
├── libgmp_caml.p.a
├── META
├── mpf.cmi
├── mpf.cmx
├── mpf.idl
├── mpf.ml
├── mpf.mli
├── mpf.p.cmx
├── mpfr.cmi
├── mpfr.cmx
├── mpfrf.cmi
├── mpfrf.cmx
├── mpfrf.ml
├── mpfrf.mli
├── mpfrf.p.cmx
├── mpfr.idl
├── mpfr.ml
├── mpfr.mli
├── mpfr.p.cmx
├── mpq.cmi
├── mpq.cmx
├── mpqf.cmi
├── mpqf.cmx
├── mpqf.ml
├── mpqf.mli
├── mpqf.p.cmx
├── mpq.idl
├── mpq.ml
├── mpq.mli
├── mpq.p.cmx
├── mpz.cmi
├── mpz.cmx
├── mpzf.cmi
├── mpzf.cmx
├── mpzf.ml
├── mpzf.mli
├── mpzf.p.cmx
├── mpz.idl
├── mpz.ml
├── mpz.mli
└── mpz.p.cmx
5 directories, 56 files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment