MetaRocq
diff --git a/‎.github/workflows/nix-action-rocq-dev.yml‎
Lines changed: 0 additions & 269 deletions b/‎.github/workflows/nix-action-rocq-dev.yml‎
Lines changed: 0 additions & 269 deletions
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
@@ -1 +1 @@
-"36b6af97e5de62782c4cc0dfdda3a40e64d668ad"
+"3a71d8318b495d464d04ac8bca80b38320448436"
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-"36b6af97e5de62782c4cc0dfdda3a40e64d668ad"`
	`1`	`+"3a71d8318b495d464d04ac8bca80b38320448436"`