updating local opam + commenting override example

Author: CohenCyril

coq-hierarchy-builder.opam

@@ -11,8 +11,8 @@ dev-repo: "git+https://github.com/math-comp/hierarchy-builder"
 build: [ make ]
 install: [ make "install" "VFILES=structures.v" ]
 depends: [
-  "coq"      {>= "8.10.0" & < "8.12.0~" }
-  "coq-elpi" {>= "1.3.0" & < "1.4.0~"}
+  "coq"      {>= "8.11.0" & < "8.12.0~" }
+  "coq-elpi" {>= "1.4.0" & < "1.5.0~"}
   ]
 synopsis: "Hierarchy Builder"
 description: """

default.nix

@@ -8,7 +8,12 @@
 }:
 with import nixpkgs {
   overlays = [ (super: self: {
-    coqPackages = { "8.11" = super.coqPackages_8_11;  }."${coq-version}";
+    coqPackages = { "8.11" = super.coqPackages_8_11;  }."${coq-version}".overrideScope' (self: super: {
+      ## Coq package override example:
+      # coq-elpi = super.coq-elpi.overrideAttrs (old: {
+      #   name = "coq8.11-elpi-v1.4.0";
+      #   src = fetchTarball https://github.com/LPCIC/coq-elpi/archive/v1.4.0.tar.gz;
+    });
     coq = self.coqPackages.coq;
   })];
 };