diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-04-18 09:21:39 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-04-24 08:54:56 +0200 |
| commit | f61cadb624b7a23ca159de69782b7f5ff76bd144 (patch) | |
| tree | 637b9d1dac78f53e1b024cbe9f117b79043b3dad /pkgs/development/coq-modules | |
| parent | 0620e0fdbf4d79df771afd28f741b2159f381d2b (diff) | |
| download | nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.tar nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.tar.gz nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.tar.bz2 nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.tar.lz nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.tar.xz nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.tar.zst nixpkgs-f61cadb624b7a23ca159de69782b7f5ff76bd144.zip | |
coqPackages.tlc: 20180316 -> 20181116
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/tlc/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/tlc/default.nix b/pkgs/development/coq-modules/tlc/default.nix index 5a236f59129..fb966f762bc 100644 --- a/pkgs/development/coq-modules/tlc/default.nix +++ b/pkgs/development/coq-modules/tlc/default.nix @@ -1,12 +1,12 @@ { stdenv, fetchurl, coq }: stdenv.mkDerivation rec { - version = "20180316"; + version = "20181116"; name = "coq${coq.coq-version}-tlc-${version}"; src = fetchurl { url = "http://tlc.gforge.inria.fr/releases/tlc-${version}.tar.gz"; - sha256 = "0y8h0x9dfn9dm60j1jkxr9i8lbfqd3ff626wrc9v49qxhi50szqq"; + sha256 = "0iv6f6zmrv2lhq3xq57ipmw856ahsql754776ymv5wjm88ld63nm"; }; buildInputs = [ coq ]; |