diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-11-06 19:40:20 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-11-06 19:40:50 +0000 |
| commit | 3d049938c872eb88c39afd7bdc952abfbb0eb3bd (patch) | |
| tree | 53db2ac4f7528c9f2c2168c9f07dd8090f935f74 /pkgs/applications/science | |
| parent | ee7e65f033afeaf83abd150133967cdcfe2c43b0 (diff) | |
| download | nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.tar nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.tar.gz nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.tar.bz2 nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.tar.lz nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.tar.xz nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.tar.zst nixlib-3d049938c872eb88c39afd7bdc952abfbb0eb3bd.zip | |
Adds some “branch” meta-data
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/coq/8.3.nix | 1 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/coq/HEAD.nix | 1 | ||||
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/8.3.nix b/pkgs/applications/science/logic/coq/8.3.nix index 8664b822cca7..63aaa02e67a3 100644 --- a/pkgs/applications/science/logic/coq/8.3.nix +++ b/pkgs/applications/science/logic/coq/8.3.nix @@ -64,6 +64,7 @@ stdenv.mkDerivation { ''; homepage = "http://coq.inria.fr"; license = licenses.lgpl21; + branch = "8.3"; maintainers = with maintainers; [ roconnor vbgl ]; }; } diff --git a/pkgs/applications/science/logic/coq/HEAD.nix b/pkgs/applications/science/logic/coq/HEAD.nix index c9c8396c37a7..293fcaf8cee6 100644 --- a/pkgs/applications/science/logic/coq/HEAD.nix +++ b/pkgs/applications/science/logic/coq/HEAD.nix @@ -64,6 +64,7 @@ stdenv.mkDerivation { ''; homepage = "http://coq.inria.fr"; license = licenses.lgpl21; + branch = coq-version; maintainers = with maintainers; [ roconnor thoughtpolice vbgl ]; platforms = platforms.unix; }; diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 721cd4ffa083..391dba244ef1 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -64,6 +64,7 @@ stdenv.mkDerivation { ''; homepage = "http://coq.inria.fr"; license = licenses.lgpl21; + branch = coq-version; maintainers = with maintainers; [ roconnor thoughtpolice vbgl ]; platforms = platforms.unix; }; |