alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Use consistent package naming for HEAD.nix files

Browse source
This commit is contained in:
rht 2017-05-09 10:31:15 +07:00
parent 996b65cfba
commit 31b0e34d1d
No known key found for this signature in database
GPG key ID: B718346BD289EB8C
5 changed files with 9 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/applications/editors/emacs-modes/proofgeneral/HEAD.nix
View file

@ -1,7 +1,8 @@
{ stdenv, fetchgit, emacs, texinfo, texLive, perl, which, automake, enableDoc ? false }:
stdenv.mkDerivation (rec {
name = "ProofGeneral-HEAD";
name = "ProofGeneral-unstable-${version}";
version = "2017-03-13";
src = fetchgit {
url = "https://github.com/ProofGeneral/PG.git";

4
pkgs/development/compilers/ghc/head.nix
View file

@ -12,7 +12,7 @@ let
commonBuildInputs = [ ghc perl autoconf automake happy alex python3 ];
version = "8.1.20170106";
version = "2017-01-06";
rev = "b4f2afe70ddbd0576b4eba3f82ba1ddc52e9b3bd";
commonPreConfigure = ''
@ -29,7 +29,7 @@ let
'';
in stdenv.mkDerivation (rec {
inherit version rev;
name = "ghc-${version}";
name = "ghc-unstable-${version}";
src = fetchgit {
url = "git://git.haskell.org/ghc.git";

2
pkgs/development/compilers/ghcjs/head.nix
View file

@ -1,7 +1,7 @@
{ fetchgit, fetchFromGitHub, bootPkgs }:
bootPkgs.callPackage ./base.nix {
version = "0.2.020170323";
version = "2017-03-23";
inherit bootPkgs;

4
pkgs/development/coq-modules/fiat/HEAD.nix
View file

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

3
pkgs/development/libraries/xcb-util-cursor/HEAD.nix
View file

@ -2,7 +2,8 @@
, git, xorg, gnum4, libxcb, gperf }:
stdenv.mkDerivation rec {
name = "xcb-util-cursor-0.1.1-3-gf03cc27";
name = "xcb-util-cursor-0.1.1-3-unstable-${version}";
version = "2017-04-05";
src = fetchgit {
url = http://anongit.freedesktop.org/git/xcb/util-cursor.git;