diff options
| author | rht <rhtbot@protonmail.com> | 2017-05-09 10:31:15 +0700 |
|---|---|---|
| committer | rht <rhtbot@protonmail.com> | 2017-05-09 10:31:15 +0700 |
| commit | 31b0e34d1dd1226de1492101e3aeea60292196d7 (patch) | |
| tree | d53bdbd2ab4dfb42c631656159275643a0489e82 /pkgs/development/coq-modules/fiat | |
| parent | 996b65cfbad921d51a716751329f940b1cc1a649 (diff) | |
Use consistent package naming for HEAD.nix files
Diffstat (limited to 'pkgs/development/coq-modules/fiat')
| -rw-r--r-- | pkgs/development/coq-modules/fiat/HEAD.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/fiat/HEAD.nix b/pkgs/development/coq-modules/fiat/HEAD.nix index a92c14bdbff65..fe9f3307b7aa8 100644 --- a/pkgs/development/coq-modules/fiat/HEAD.nix +++ b/pkgs/development/coq-modules/fiat/HEAD.nix @@ -2,8 +2,8 @@ stdenv.mkDerivation rec { - name = "coq-fiat-${coq.coq-version}-${version}"; - version = "20161024"; + name = "coq-fiat-${coq.coq-version}-unstable-${version}"; + version = "2016-10-24"; src = fetchgit { url = "https://github.com/mit-plv/fiat.git"; |