diff --git a/_sources/.shake.database b/_sources/.shake.database
index 0090bb4..ea9bac5 100644
Binary files a/_sources/.shake.database and b/_sources/.shake.database differ
diff --git a/_sources/generated.nix b/_sources/generated.nix
index dc07775..9a3d36e 100644
--- a/_sources/generated.nix
+++ b/_sources/generated.nix
@@ -15,26 +15,26 @@
   };
   coq-artifacts = {
     pname = "coq-artifacts";
-    version = "13ca7bebd34d4c86394cbc12a87f57fe42b8513d";
+    version = "b46f9a8f2254eac9acad333c1eb07293df538985";
     src = fetchgit {
       url = "https://github.com/ms-jpq/coq.artifacts";
-      rev = "13ca7bebd34d4c86394cbc12a87f57fe42b8513d";
+      rev = "b46f9a8f2254eac9acad333c1eb07293df538985";
       fetchSubmodules = false;
       deepClone = false;
       leaveDotGit = false;
-      sha256 = "1j5flc4v0as3p1875zl45mx7w0dvlfl616il88i8mwp3p639dcgj";
+      sha256 = "10sazqglrnndh6h2fwgyvczlnvmf6xf71s10fqpq4fcndrscgzd9";
     };
   };
   coq-tp = {
     pname = "coq-tp";
-    version = "61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00";
+    version = "5cfab094de4c6690ea295546dd11ccfa5b6d9cab";
     src = fetchgit {
       url = "https://github.com/ms-jpq/coq.thirdparty";
-      rev = "61b9c1f2f2e7392c7d7fb7513a144f92c6f81f00";
+      rev = "5cfab094de4c6690ea295546dd11ccfa5b6d9cab";
       fetchSubmodules = false;
       deepClone = false;
       leaveDotGit = false;
-      sha256 = "057gc48zixdg8cbic4qdq0cihdqlrlyg5nq1rja723z50hz8b3zp";
+      sha256 = "1p6inb5yfnhds5rzpwh6391vbcgiqr93p1hy14r7nm2ad3h7qsvn";
     };
   };
   epub-thumbnailer = {