mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-15 10:12:58 +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 |