public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.dpdgraph: init at 0.6.8 for Coq 8.12

Browse Source
This commit is contained in:
Vincent Laporte 2020-08-25 07:33:55 +02:00 committed by Vincent Laporte
parent 3184a97f1c
commit 60d0746a84
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/coq-modules/dpdgraph/default.nix
View File

@ -1,6 +1,10 @@
{ stdenv, fetchFromGitHub, autoreconfHook, coq }: { stdenv, fetchFromGitHub, autoreconfHook, coq }:
let params = { let params = {
"8.12" = {
version = "0.6.8";
sha256 = "1mj6sknsd53xfb387sp3kdwvl4wn80ck24bfzf3s6mgw1a12vyps";
};
"8.11" = { "8.11" = {
version = "0.6.7"; version = "0.6.7";
sha256 = "01vpi7scvkl4ls1z2k2x9zd65wflzb667idj759859hlz3ps9z09"; sha256 = "01vpi7scvkl4ls1z2k2x9zd65wflzb667idj759859hlz3ps9z09";