mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-30 01:23:03 +00:00
2f2fbc9966
mlgmpidl is an OCaml interface to the GMP library. Homepage: https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/ |
||
---|---|---|
.. | ||
default.nix |