diff options
| author | Joachim F <joachifm@users.noreply.github.com> | 2018-03-14 21:16:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-14 21:16:20 +0000 |
| commit | 7e15e17beae14a7643291a042e49f67e028825e3 (patch) | |
| tree | 2ca3bf62def1cbde4b194773e593a7b980caa250 /pkgs/development/compilers | |
| parent | 1af9958f0941a98ee69f7294b4ab6af677770f2f (diff) | |
| parent | 28e31f1c07fc24356ad1e4c444138b736b2a9991 (diff) | |
| download | nixlib-7e15e17beae14a7643291a042e49f67e028825e3.tar nixlib-7e15e17beae14a7643291a042e49f67e028825e3.tar.gz nixlib-7e15e17beae14a7643291a042e49f67e028825e3.tar.bz2 nixlib-7e15e17beae14a7643291a042e49f67e028825e3.tar.lz nixlib-7e15e17beae14a7643291a042e49f67e028825e3.tar.xz nixlib-7e15e17beae14a7643291a042e49f67e028825e3.tar.zst nixlib-7e15e17beae14a7643291a042e49f67e028825e3.zip | |
Merge pull request #36702 from ryantm/auto-update/teyjus
teyjus: 2.0b2 -> 2.1
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/teyjus/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/teyjus/default.nix b/pkgs/development/compilers/teyjus/default.nix index 222a22bf1cd9..53ab4ec0e854 100644 --- a/pkgs/development/compilers/teyjus/default.nix +++ b/pkgs/development/compilers/teyjus/default.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, omake, ocaml, flex, bison }: stdenv.mkDerivation { - name = "teyjus-2.0b2"; + name = "teyjus-2.1"; src = fetchurl { url = "https://storage.googleapis.com/google-code-archive-downloads/v2/code.google.com/teyjus/teyjus-source-2.0-b2.tar.gz"; - sha256 = "f589fb460d7095a6e674b7a6413772c41b98654c38602c3e8c477a976da99052"; + sha256 = "0llhm5nrfyj7ihz2qq1q9ijrh6y4f8vl39mpfkkad5bh1m3gp2gm"; }; patches = [ ./fix-lex-to-flex.patch ]; |