Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: fba7c3adf879
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 1276e82c2ec2
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on May 9, 2018

  1. coqPackages.dpdgraph: init at 0.6.3 for Coq 8.8

    @vbgl
    vbgl committed May 9, 2018
    Copy the full SHA
    1276e82 View commit details
Showing with 5 additions and 0 deletions.
  1. +5 −0 pkgs/development/coq-modules/dpdgraph/default.nix
5 changes: 5 additions & 0 deletions pkgs/development/coq-modules/dpdgraph/default.nix
View file
Original file line number Diff line number Diff line change
@@ -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";