diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2020-08-25 07:33:55 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2020-09-01 08:53:19 +0200 |
commit | 60d0746a846bb498b4fd0422905a1bc116e895d3 (patch) | |
tree | 9e3499125f9f38649c2fec6819c80290eee2807b /pkgs/development/coq-modules/dpdgraph | |
parent | 3184a97f1c2e68ad258ba9d89fa4d2c949341861 (diff) | |
download | nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.tar nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.tar.gz nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.tar.bz2 nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.tar.lz nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.tar.xz nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.tar.zst nixpkgs-60d0746a846bb498b4fd0422905a1bc116e895d3.zip |
coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph')
-rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 689745003df..54654f37bac 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -1,6 +1,10 @@ { stdenv, fetchFromGitHub, autoreconfHook, coq }: let params = { + "8.12" = { + version = "0.6.8"; + sha256 = "1mj6sknsd53xfb387sp3kdwvl4wn80ck24bfzf3s6mgw1a12vyps"; + }; "8.11" = { version = "0.6.7"; sha256 = "01vpi7scvkl4ls1z2k2x9zd65wflzb667idj759859hlz3ps9z09"; |