diff options
Diffstat (limited to 'pkgs/development/coq-modules/coq-haskell/default.nix')
-rw-r--r-- | pkgs/development/coq-modules/coq-haskell/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/coq-haskell/default.nix b/pkgs/development/coq-modules/coq-haskell/default.nix index e9263fb2be1..7c86a7d55f3 100644 --- a/pkgs/development/coq-modules/coq-haskell/default.nix +++ b/pkgs/development/coq-modules/coq-haskell/default.nix @@ -34,7 +34,7 @@ stdenv.mkDerivation { name = "coq${coq.coq-version}-coq-haskell-${param.version}"; src = fetchgit { - url = git://github.com/jwiegley/coq-haskell.git; + url = "git://github.com/jwiegley/coq-haskell.git"; inherit (param) rev sha256; }; @@ -48,7 +48,7 @@ stdenv.mkDerivation { ''; meta = with stdenv.lib; { - homepage = https://github.com/jwiegley/coq-haskell; + homepage = "https://github.com/jwiegley/coq-haskell"; description = "A library for formalizing Haskell types and functions in Coq"; maintainers = with maintainers; [ jwiegley ]; platforms = coq.meta.platforms; |