pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
Merge pull request #14649 from vbgl/coq_8.5.1
Coq 8.5pl1
+7
-6
+3
-3
pkgs/applications/science/logic/coq/8.5.nix
+3
-3
pkgs/applications/science/logic/coq/8.5.nix
···
6
6
{stdenv, fetchurl, writeText, pkgconfig, ocaml, findlib, camlp5, ncurses, lablgtk ? null, csdp ? null}:
7
7
8
8
let
9
-
version = "8.5";
9
+
version = "8.5pl1";
10
10
coq-version = "8.5";
11
11
buildIde = lablgtk != null;
12
12
ideFlags = if buildIde then "-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -coqide opt" else "";
···
23
23
inherit ocaml camlp5;
24
24
25
25
src = fetchurl {
26
-
url = https://coq.inria.fr/distrib/V8.5/files/coq-8.5.tar.gz;
27
-
sha256 = "0gdfm6k5q1f8sz1xr9ijdkkvwqsb7v8prj21gmwv0z0yp6w2zac9";
26
+
url = "http://coq.inria.fr/distrib/V${version}/files/coq-${version}.tar.gz";
27
+
sha256 = "1w2xvm6w16khfn63bp95s25hnkn2ny3w0yqg3lq63gp11aqpbyjb";
28
28
};
29
29
30
30
buildInputs = [ pkgconfig ocaml findlib camlp5 ncurses lablgtk ];
+4
-3
pkgs/development/coq-modules/coq-ext-lib/default.nix
+4
-3
pkgs/development/coq-modules/coq-ext-lib/default.nix
···
1
1
{ stdenv, fetchFromGitHub, coq }:
2
2
3
3
let param =
4
-
if coq.coq-version == "8.4"
5
-
then { version = "0.9.0"; sha256 = "1n3bk003vvbghbrxkhal6drnc0l65jv9y77wd56is3jw9xgiif0w"; }
6
-
else { version = "0.9.0-beta3"; sha256 = "1dya0sqp5jjb2cl7cv2ry4gvcr359bkzzqcz0plknf3f1c5zrv0s"; };
4
+
{
5
+
"8.4" = { version = "0.9.0"; sha256 = "1n3bk003vvbghbrxkhal6drnc0l65jv9y77wd56is3jw9xgiif0w"; };
6
+
"8.5" = { version = "0.9.3"; sha256 = "05zff5mrkxpvcsw4gi8whjj5w0mdbqzjmb247lq5b7mry0bypwc5"; };
7
+
}."${coq.coq-version}";
7
8
in
8
9
9
10
stdenv.mkDerivation rec {