From a94c0f9f2356d15be3d675f3f6aed153e35bdbb7 Mon Sep 17 00:00:00 2001
From: Mr Hedgehog <hedgehog@mrhedgehog.xyz>
Date: Thu, 3 Mar 2022 07:53:09 -0500
Subject: [PATCH] =?UTF-8?q?Update=20coq-tp:=2061b9c1f2f2e7392c7d7fb7513a14?=
 =?UTF-8?q?4f92c6f81f00=20=E2=86=92=205cfab094de4c6690ea295546dd11ccfa5b6d?=
 =?UTF-8?q?9cab=20coq-artifacts:=2013ca7bebd34d4c86394cbc12a87f57fe42b8513?=
 =?UTF-8?q?d=20=E2=86=92=20b46f9a8f2254eac9acad333c1eb07293df538985?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 _sources/.shake.database | Bin 34034 -> 41704 bytes
 _sources/generated.nix   |  12 ++++++------
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/_sources/.shake.database b/_sources/.shake.database
index 0090bb42572d6ae1c8736c1faabaee376069c8de..ea9bac5253e189511e2fb17fddaa14bf67e840c9 100644
GIT binary patch
delta 2471
zcmbW2eN0<b6u{fU6ex^+As{TFFc^y=yzl$kLW`o==F~9fx1#jD*Vn#MYTMOPnqXsG
zoD;X9*CiUG@hh6R#4wu7VAMZMwipu?{Aa{Ct!@h=F>1CyhRzu8>Eo69>>mv`IrrWB
z-Z{T>dd|7GSB}^&pRvtcIn>f_u~=@fSjh~dl1Pmq*dcCjF?RFs%?hCLAdx!D2$?&v
zgW0-=Myx0z#4!|NXt9T9DW-?nMm`(EcI`xEglxct0qgBQir~8r^O02v7}8<185Sn$
z#W4Exfg+ex8Ybv4$_zVfg6&$ktq3NUgfWy3<IJ#e6KwhVT}3dZB#d_IFxCu9m|%aN
z87zYNOTrjhhw)|@_%6=bP3rSSFts#{(P4raHfDmIpBOHJ1q_(0xHTA7haofU850aQ
z3&?`!ADQleX0Z`@?cGIB6?sB$LaS^ha!onndh?gXY{lTR)nRniaMxc>z=LuHk!m7f
z)PPU<PUdm&_R-&dEa0G70Qa@{qU&bvr));rVyiW9E0JX<enV-(KRkUrZw)*xnk!h3
ztXjXo9d@<N<#2!UoxI)#^8RmSO%J*Vyi`4W)YY|+%YOXOiq&p-*_}RzdvEz*2kgP{
znEyh-0n`Ny!{5B+`g!SsCp)?4(wgPYc?aIUs~JxZC-%{->_d`YQdmymWKm$9oGi&S
z;}em}Bh}9_lE~AnVtA#Vx>)c61p_Z<zdY$$`sX6fxsT_gf!urhs=Y?;q2)l&`M@i#
zmt)o5?B`E>w-ybW-Grl_X8c7W@R&eLPMKC2mGL9i$;e1Ss)UGtAI)(pc_FAGtx}W`
zjYF^(yg;Xdm(EY8U7Iz#H<FZtetFa%?}Pre1o2Bl9rzES6%S^*ajeM;&kTIg2S>+3
z=`ndC=2XI5JSK?~T1bi=9OV?0jLN}ah-Cy(qLPu6r0^V4WkC*wj5y|$MlWERi0nI`
z^W3@gtT&>idZKZ^>QBhQo`9CPPQs`lHzsK-P|XjVyW{?RJZ}$jB(`n%^yJ3;exdGh
z&w2uCch|JFO}c9)-PoO>3cd2Gcsri2X{ZkpubzB5LS&`j`MdkN%gs5a8awdJjdnZ|
z+L9^PNdK8Ia}<vPGAE|BloAkSNt3yl5~E}-sKmnY@I-)*#OQd)hZr`^Q^B+-vFWIh
z-}Z4^A-|Usc5lV6SD(Yj?(vr&JS12Tz6O6}ukR|a(XjQ<NM;>zua#jn0c8hj{Nmqt
z&#qocI5o7<4&~DOSR;Mx?JoD&;#18#@btY~aqs@BOu0s@F+<Vl5U+-1E=l<gvQb(@
zd^*hWV<|LFDao)J7HB~Wi=rlujYruixjYm(P&gDbSJMN4f<qxTT=G=B|J4+p+n+8!
zc)e&HJIlPIFgZ1u^+f#ta+RAZqg?9iZoORiTvfeQ!)Fh$jgs%fPw2Y;{(ZK7)`B<P
z*IGE3i(Q@g$;$qr@4uZI*t;?{K<)`UNtZ;HwY8(Sk}X5F8!XLaHiqF7_Qn+pS1znm
H#0cbHZgC(F

delta 9
QcmaEHl<89^(}qti02@FBQvd(}

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 = {