diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-11-02 10:09:15 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-11-04 07:26:29 +0000 |
| commit | dd21f83950471bcd1878268b525207df4445ad8d (patch) | |
| tree | c293426b3e874a4f44cb5e5412ad4672f5f6eb52 /pkgs/applications | |
| parent | 800184df21cfe4924e1e901f387cda49a9a8269c (diff) | |
| download | nixlib-dd21f83950471bcd1878268b525207df4445ad8d.tar nixlib-dd21f83950471bcd1878268b525207df4445ad8d.tar.gz nixlib-dd21f83950471bcd1878268b525207df4445ad8d.tar.bz2 nixlib-dd21f83950471bcd1878268b525207df4445ad8d.tar.lz nixlib-dd21f83950471bcd1878268b525207df4445ad8d.tar.xz nixlib-dd21f83950471bcd1878268b525207df4445ad8d.tar.zst nixlib-dd21f83950471bcd1878268b525207df4445ad8d.zip | |
coq_8_9: init at 8.9+beta1
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 040d722f9410..5fab9788a94a 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -25,6 +25,7 @@ let "8.8.0" = "13a4fka22hdxsjk11mgjb9ffzplfxyxp1sg5v1c8nk1grxlscgw8"; "8.8.1" = "1hlf58gwazywbmfa48219amid38vqdl94yz21i11b4map6jfwhbk"; "8.8.2" = "1lip3xja924dm6qblisk1bk0x8ai24s5xxqxphbdxj6djglj68fd"; + "8.9+beta1" = "1yxv2klqal3mh6symi3gc6gv3xm684zlld2c0b6ijhjmp865cin8"; }."${version}"; coq-version = builtins.substring 0 3 version; ideFlags = if buildIde then "-lablgtkdir ${ocamlPackages.lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else ""; |