math-comp
diff --git a/‎.nix/coq-nix-toolbox.nix‎
Lines changed: 1 addition & 1 deletion b/‎.nix/coq-nix-toolbox.nix‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎.nix/coq-overlays/coq-elpi/default.nix‎
Lines changed: 0 additions & 63 deletions b/‎.nix/coq-overlays/coq-elpi/default.nix‎
Lines changed: 0 additions & 63 deletions
diff --git a/‎.nix/ocaml-overlays/elpi/default.nix‎
Lines changed: 0 additions & 53 deletions b/‎.nix/ocaml-overlays/elpi/default.nix‎
Lines changed: 0 additions & 53 deletions
@@ -1 +1 @@
-"be976db262f1dc9f6e013153f263182e14372246"
+"a2aa6afce9ebfea39501cdf43a3a3bd08e557a26"
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-"be976db262f1dc9f6e013153f263182e14372246"`
	`1`	`+"a2aa6afce9ebfea39501cdf43a3a3bd08e557a26"`