diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-05-02 15:14:22 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-05-09 08:03:10 +0200 |
| commit | 1276e82c2ec22fc17c14f6d1a5933acf87320e7b (patch) | |
| tree | 4e4411b9ba03df5ce4ec6a0c40043e97784e505f /pkgs/development/coq-modules/dpdgraph/default.nix | |
| parent | fba7c3adf879d8dffa302c67e133ad67a148301c (diff) | |
| download | nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.tar nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.tar.gz nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.tar.bz2 nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.tar.lz nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.tar.xz nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.tar.zst nixlib-1276e82c2ec22fc17c14f6d1a5933acf87320e7b.zip | |
coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')
| -rw-r--r-- | pkgs/development/coq-modules/dpdgraph/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/dpdgraph/default.nix b/pkgs/development/coq-modules/dpdgraph/default.nix index 390ced8fdad3..5b9437e7c279 100644 --- a/pkgs/development/coq-modules/dpdgraph/default.nix +++ b/pkgs/development/coq-modules/dpdgraph/default.nix @@ -1,6 +1,11 @@ { stdenv, fetchFromGitHub, autoreconfHook, coq, ocamlPackages }: let params = { + "8.8" = { + version = "0.6.3"; + rev = "0acbd0a594c7e927574d5f212cc73a486b5305d2"; + sha256 = "0c95b0bz2kjm6swr5na4gs06lxxywradszxbr5ldh2zx02r3f3rx"; + }; "8.7" = { version = "0.6.2"; rev = "d76ddde37d918569945774733b7997e8b24daf51"; |