public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

treewide: Per RFC45, remove all unquoted URLs

Browse Source
This commit is contained in:
Michael Reilly
2020-04-10 17:54:53 +01:00
committed by Jörg Thalheim
parent bf5eb87033
commit 84cf00f980
9648 changed files with 15370 additions and 15370 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/coq-modules/CoLoR/default.nix
+1 -1
View File
@@ -45,7 +45,7 @@ stdenv.mkDerivation {
'';
meta = with stdenv.lib; {
homepage = http://color.inria.fr/;
homepage = "http://color.inria.fr/";
description = "CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant.";
maintainers = with maintainers; [ jpas jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/HoTT/default.nix
+1 -1
View File
@@ -49,7 +49,7 @@ stdenv.mkDerivation rec {
];
meta = with stdenv.lib; {
homepage = http://homotopytypetheory.org/;
homepage = "http://homotopytypetheory.org/";
description = "Homotopy type theory";
maintainers = with maintainers; [ siddharthist ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/QuickChick/default.nix
+1 -1
View File
@@ -65,7 +65,7 @@ stdenv.mkDerivation {
'';
meta = with stdenv.lib; {
homepage = https://github.com/QuickChick/QuickChick;
homepage = "https://github.com/QuickChick/QuickChick";
description = "Randomized property-based testing plugin for Coq; a clone of Haskell QuickCheck";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/autosubst/default.nix
+2 -2
View File
@@ -6,7 +6,7 @@ stdenv.mkDerivation rec {
version = "5b40a32e";
src = fetchgit {
url = git://github.com/uds-psl/autosubst.git;
url = "git://github.com/uds-psl/autosubst.git";
rev = "1c3bb3bbf5477e3b33533a0fc090399f45fe3034";
sha256 = "06pcjbngzwqyncvfwzz88j33wvdj9kizxyg5adp7y6186h8an341";
};
@@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://www.ps.uni-saarland.de/autosubst/;
homepage = "https://www.ps.uni-saarland.de/autosubst/";
description = "Automation for de Bruijn syntax and substitution in Coq";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/category-theory/default.nix
+2 -2
View File
@@ -27,7 +27,7 @@ stdenv.mkDerivation {
name = "coq${coq.coq-version}-category-theory-${param.version}";
src = fetchgit {
url = git://github.com/jwiegley/category-theory.git;
url = "git://github.com/jwiegley/category-theory.git";
inherit (param) rev sha256;
};
@@ -41,7 +41,7 @@ stdenv.mkDerivation {
'';
meta = with stdenv.lib; {
homepage = https://github.com/jwiegley/category-theory;
homepage = "https://github.com/jwiegley/category-theory";
description = "A formalization of category theory in Coq for personal study and practical work";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/coq-bits/default.nix
+1 -1
View File
@@ -25,7 +25,7 @@ stdenv.mkDerivation {
'';
meta = with stdenv.lib; {
homepage = https://github.com/coq-community/coq-bits;
homepage = "https://github.com/coq-community/coq-bits";
description = "A formalization of bitset operations in Coq";
license = licenses.asl20;
maintainers = with maintainers; [ ptival ];
pkgs/development/coq-modules/coq-ext-lib/default.nix
+1 -1
View File
@@ -33,7 +33,7 @@ stdenv.mkDerivation rec {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://github.com/coq-ext-lib/coq-ext-lib;
homepage = "https://github.com/coq-ext-lib/coq-ext-lib";
description = "A collection of theories and plugins that may be useful in other Coq developments";
maintainers = with maintainers; [ jwiegley ptival ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/coq-extensible-records/default.nix
+1 -1
View File
@@ -45,7 +45,7 @@ stdenv.mkDerivation rec {
'';
meta = with stdenv.lib; {
homepage = https://github.com/gmalecha/coq-extensible-records;
homepage = "https://github.com/gmalecha/coq-extensible-records";
description = "Implementation of extensible records in Coq";
license = licenses.mit;
maintainers = with maintainers; [ ptival ];
pkgs/development/coq-modules/coq-haskell/default.nix
+2 -2
View File
@@ -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;
pkgs/development/coq-modules/coquelicot/default.nix
+1 -1
View File
@@ -29,7 +29,7 @@ stdenv.mkDerivation {
installPhase = "./remake install";
meta = {
homepage = http://coquelicot.saclay.inria.fr/;
homepage = "http://coquelicot.saclay.inria.fr/";
description = "A Coq library for Reals";
license = stdenv.lib.licenses.lgpl3;
maintainers = [ stdenv.lib.maintainers.vbgl ];
pkgs/development/coq-modules/corn/default.nix
+1 -1
View File
@@ -24,7 +24,7 @@ stdenv.mkDerivation rec {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = {
homepage = http://c-corn.github.io/;
homepage = "http://c-corn.github.io/";
license = stdenv.lib.licenses.gpl2;
description = "A Coq library for constructive analysis";
maintainers = [ stdenv.lib.maintainers.vbgl ];
pkgs/development/coq-modules/dpdgraph/default.nix
+1 -1
View File
@@ -61,7 +61,7 @@ stdenv.mkDerivation {
meta = {
description = "Build dependency graphs between Coq objects";
license = stdenv.lib.licenses.lgpl21;
homepage = https://github.com/Karmaki/coq-dpdgraph/;
homepage = "https://github.com/Karmaki/coq-dpdgraph/";
maintainers = with stdenv.lib.maintainers; [ vbgl ];
platforms = coq.meta.platforms;
};
pkgs/development/coq-modules/equations/default.nix
+1 -1
View File
@@ -54,7 +54,7 @@ stdenv.mkDerivation rec {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://mattam82.github.io/Coq-Equations/;
homepage = "https://mattam82.github.io/Coq-Equations/";
description = "A plugin for Coq to add dependent pattern-matching";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/fiat/HEAD.nix
+1 -1
View File
@@ -27,7 +27,7 @@ stdenv.mkDerivation rec {
'';
meta = with stdenv.lib; {
homepage = http://plv.csail.mit.edu/fiat/;
homepage = "http://plv.csail.mit.edu/fiat/";
description = "A library for the Coq proof assistant for synthesizing efficient correct-by-construction programs from declarative specifications";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/flocq/default.nix
+1 -1
View File
@@ -36,7 +36,7 @@ stdenv.mkDerivation rec {
'';
meta = with stdenv.lib; {
homepage = http://flocq.gforge.inria.fr/;
homepage = "http://flocq.gforge.inria.fr/";
description = "A floating-point formalization for the Coq system";
license = licenses.lgpl3;
maintainers = with maintainers; [ jwiegley ];
pkgs/development/coq-modules/gappalib/default.nix
+2 -2
View File
@@ -3,7 +3,7 @@
stdenv.mkDerivation {
name = "coq${coq.coq-version}-gappalib-1.4.1";
src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/37917/gappalib-coq-1.4.1.tar.gz;
url = "https://gforge.inria.fr/frs/download.php/file/37917/gappalib-coq-1.4.1.tar.gz";
sha256 = "0d3f23a871haglg8hq1jgxz3y5nryiwy12b5xfnfjn279jfqqjw4";
};
@@ -18,7 +18,7 @@ stdenv.mkDerivation {
meta = {
description = "Coq support library for Gappa";
license = stdenv.lib.licenses.lgpl21;
homepage = http://gappa.gforge.inria.fr/;
homepage = "http://gappa.gforge.inria.fr/";
maintainers = [ stdenv.lib.maintainers.vbgl ];
inherit (coq.meta) platforms;
};
pkgs/development/coq-modules/heq/default.nix
+1 -1
View File
@@ -18,7 +18,7 @@ stdenv.mkDerivation rec {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}" ];
meta = with stdenv.lib; {
homepage = https://www.mpi-sws.org/~gil/Heq/;
homepage = "https://www.mpi-sws.org/~gil/Heq/";
description = "Heq : a Coq library for Heterogeneous Equality";
maintainers = with maintainers; [ jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/interval/default.nix
+1 -1
View File
@@ -30,7 +30,7 @@ stdenv.mkDerivation {
installPhase = "./remake install";
meta = with stdenv.lib; {
homepage = http://coq-interval.gforge.inria.fr/;
homepage = "http://coq-interval.gforge.inria.fr/";
description = "Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant";
license = licenses.cecill-c;
maintainers = with maintainers; [ vbgl ];
pkgs/development/coq-modules/math-classes/default.nix
+1 -1
View File
@@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
installFlags = [ "COQLIB=$(out)/lib/coq/${coq.coq-version}/" ];
meta = with stdenv.lib; {
homepage = https://math-classes.github.io;
homepage = "https://math-classes.github.io";
description = "A library of abstract interfaces for mathematical structures in Coq.";
maintainers = with maintainers; [ siddharthist jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/metalib/default.nix
+4 -4
View File
@@ -6,7 +6,7 @@ stdenv.mkDerivation rec {
version = "20170713";
src = fetchgit {
url = https://github.com/plclub/metalib.git;
url = "https://github.com/plclub/metalib.git";
rev = "44e40aa082452dd333fc1ca2d2cc55311519bd52";
sha256 = "1pra0nvx69q8d4bvpcvh9ngic1cy6z1chi03x56nisfqnc61b6y9";
};
@@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
pname = "lngen";
version = "0.0.1";
src = fetchgit {
url = https://github.com/plclub/lngen;
url = "https://github.com/plclub/lngen";
rev = "ea73ad315de33afd25f87ca738c71f358f1cd51c";
sha256 = "1a0sj8n3lmsl1wlnqfy176k9lb9s8rl422bvg3ihl2i70ql8wisd";
};
@@ -24,7 +24,7 @@ stdenv.mkDerivation rec {
isExecutable = true;
libraryHaskellDepends = [ base containers mtl parsec syb ];
executableHaskellDepends = [ base ];
homepage = https://github.com/plclub/lngen;
homepage = "https://github.com/plclub/lngen";
description = "Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott";
license = stdenv.lib.licenses.mit;
};
@@ -43,7 +43,7 @@ stdenv.mkDerivation rec {
'';
meta = with stdenv.lib; {
homepage = https://github.com/plclub/metalib;
homepage = "https://github.com/plclub/metalib";
license = licenses.mit;
maintainers = [ maintainers.jwiegley ];
platforms = coq.meta.platforms;
pkgs/development/coq-modules/paco/default.nix
+1 -1
View File
@@ -47,7 +47,7 @@ stdenv.mkDerivation rec {
'';
meta = with stdenv.lib; {
homepage = http://plv.mpi-sws.org/paco/;
homepage = "http://plv.mpi-sws.org/paco/";
description = "A Coq library implementing parameterized coinduction";
maintainers = with maintainers; [ jwiegley ptival ];
platforms = coq.meta.platforms;