tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 dolmen,
4 dolmen_loop,
5 farith,
6 ppx_deriving,
7 zarith,
8}:
9
10buildDunePackage {
11 pname = "dolmen_model";
12 inherit (dolmen) src version;
13
14 propagatedBuildInputs = [
15 dolmen
16 dolmen_loop
17 farith
18 ppx_deriving
19 zarith
20 ];
21
22 meta = dolmen.meta // {
23 description = "Dolmen library for verifying models generated by automated theorem provers and SMT solvers";
24 };
25}