nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-18 02:44:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8

Browse Source
This commit is contained in:
Vincent Laporte 2018-05-02 15:14:22 +00:00 committed by Vincent Laporte
parent fba7c3adf8
commit 1276e82c2e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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";