tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 ohex,
4 ounit2,
5 randomconv,
6 mirage-crypto,
7 mirage-crypto-rng,
8 zarith,
9 gmp,
10}:
11
12buildDunePackage {
13 pname = "mirage-crypto-pk";
14
15 inherit (mirage-crypto) version src;
16
17 buildInputs = [ gmp ];
18 propagatedBuildInputs = [
19 mirage-crypto
20 mirage-crypto-rng
21 zarith
22 ];
23
24 doCheck = true;
25 checkInputs = [
26 ohex
27 ounit2
28 randomconv
29 ];
30
31 meta = mirage-crypto.meta // {
32 description = "Simple public-key cryptography for the modern age";
33 };
34}