diff --git a/pages/nix/math-comp/index.html b/pages/nix/math-comp/index.html
new file mode 100644
index 0000000000..8f8ea7d43e
--- /dev/null
+++ b/pages/nix/math-comp/index.html
@@ -0,0 +1,3 @@
+<head>
+  <meta http-equiv="Refresh" content="0; URL=https://github.com/math-comp/math-comp-nix/archive/v2.tar.gz" />
+</head>
diff --git a/pages/nix/toolbox/index.html b/pages/nix/toolbox/index.html
new file mode 100644
index 0000000000..854dad8b45
--- /dev/null
+++ b/pages/nix/toolbox/index.html
@@ -0,0 +1,3 @@
+<head>
+  <meta http-equiv="Refresh" content="0; URL=https://github.com/coq-community/coq-nix-toolbox/archive/master.tar.gz" />
+</head>
