Add redirections for Nix links.

It's unclear if these HTML redirections will help given that these links are for use with Nix.
coq · Oct 15, 2023 · 9f3953d · 9f3953d
1 parent ddae0b9
commit 9f3953d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/pages/nix/math-comp/index.html 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
@@ -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>