From 740471b153653f3bafae4e79363464d29d3c9884 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 2 Apr 2023 12:57:50 -0700 Subject: [PATCH] Fix dependency order of packages --- .nix/coq-overlays/metacoq/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.nix/coq-overlays/metacoq/default.nix b/.nix/coq-overlays/metacoq/default.nix index 0c296f7c9..95bf9b9c3 100644 --- a/.nix/coq-overlays/metacoq/default.nix +++ b/.nix/coq-overlays/metacoq/default.nix @@ -25,7 +25,7 @@ let releaseRev = v: "v${v}"; # list of core metacoq packages sorted by dependency order - packages = [ "utils" "common" "template-coq" "pcuic" "safechecker" "erasure" "template-pcuic" "safechecker-plugin" "erasure-plugin" "all" ]; + packages = [ "utils" "common" "template-coq" "pcuic" "safechecker" "template-pcuic" "erasure" "safechecker-plugin" "erasure-plugin" "all" ]; template-coq = metacoq_ "template-coq";