tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ buildDunePackage, dolmen, dolmen_type
2, gen
3, pp_loc
4}:
5
6buildDunePackage {
7 pname = "dolmen_loop";
8 inherit (dolmen) src version;
9
10 propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];
11
12 meta = dolmen.meta // {
13 description = "Tool library for automated deduction tools";
14 };
15}