Commit d5fd8a7c authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.http: init at 0.2.1

parent 67aab88f

pkgs/development/coq-modules/async-test/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -8,7 +8,7 @@ mkCoqDerivation { 


  defaultVersion = let inherit (lib.versions) range; in

    lib.switch coq.coq-version [

      { case = range "8.12" "8.20"; out = "0.1.0"; }

      { case = range "8.12" "8.19"; out = "0.1.0"; }

    ] null;

  release = {

    "0.1.0".sha256  = "sha256-0DBUS20337tpBi64mlJIWTQvIAdUvWbFCM9Sat7MEA8=";

pkgs/development/coq-modules/http/default.nix

0 → 100644
+28 −0
Original line number Diff line number Diff line 
{ lib, mkCoqDerivation, coq, QuickChick, async-test, version ? null }:



mkCoqDerivation {

  pname = "http";

  owner = "liyishuai";

  repo = "coq-http";

  inherit version;



  defaultVersion = let inherit (lib.versions) range; in

    lib.switch coq.coq-version [

      { case = range "8.14" "8.19"; out = "0.2.1"; }

    ] null;

  release = {

    "0.2.1".sha256  = "sha256-CIcaXEojNdajXNoMBjGlQRc1sOJSKgUlditNxbNSPgk=";

  };

  releaseRev = v: "v${v}";



  propagatedBuildInputs = [ QuickChick async-test ];



  configurePhase = ''

    sed -e 's/^	install extract.*//' -i Makefile

  '';



  meta = {

    description = "HTTP specification in Coq, testable and verifiable";

    license = lib.licenses.mpl20;

  };

}

pkgs/top-level/coq-packages.nix

+1 −0
Original line number Diff line number Diff line
@@ -73,6 +73,7 @@ let 
      hierarchy-builder = callPackage ../development/coq-modules/hierarchy-builder {};

      high-school-geometry = callPackage ../development/coq-modules/high-school-geometry {};

      HoTT = callPackage ../development/coq-modules/HoTT {};

      http = callPackage ../development/coq-modules/http {};

      hydra-battles = callPackage ../development/coq-modules/hydra-battles {};

      interval = callPackage ../development/coq-modules/interval {};

      InfSeqExt = callPackage ../development/coq-modules/InfSeqExt {};