AutoSplit will fail to create an index for files whose modification time is 0
because its default time for a non-existent index is 1.  Set this default time
to -1 instead.

--- perl-5.16.1/cpan/AutoLoader/lib/AutoSplit.pm.orig	2012-02-14 22:44:36.000000000 -0600
+++ perl-5.16.1/cpan/AutoLoader/lib/AutoSplit.pm	2015-09-09 19:59:22.208708921 -0500
@@ -361,7 +361,7 @@
     my($al_idx_file) = catfile($autodir, $modpname, $IndexFile);
 
     if ($check_mod_time){
-	my($al_ts_time) = (stat("$al_idx_file"))[9] || 1;
+	my($al_ts_time) = (stat("$al_idx_file"))[9] || -1;
 	if ($al_ts_time >= $pm_mod_time and
 	    $al_ts_time >= $self_mod_time){
 	    print "AutoSplit skipped ($al_idx_file newer than $filename)\n"
>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>refs</a><a class='active' href='/guix/log/gnu/packages/lean.scm'>log</a><a href='/guix/tree/gnu/packages/lean.scm?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>tree</a><a href='/guix/commit/gnu/packages/lean.scm?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>commit</a><a href='/guix/diff/gnu/packages/lean.scm?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/lean.scm'>
<input type='hidden' name='id' value='87a10e315f60a198875dec31665b6a8775c9ca9c'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>root</a>/<a href='/guix/log/gnu?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>gnu</a>/<a href='/guix/log/gnu/packages?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>packages</a>/<a href='/guix/log/gnu/packages/lean.scm?id=87a10e315f60a198875dec31665b6a8775c9ca9c'>lean.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/lean.scm?id=87a10e315f60a198875dec31665b6a8775c9ca9c&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-03-16 15:48:52 +0100'>2022-03-16</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=fee68a93d833b7774de6b0af9ddb9f5f696922eb'>gnu: Add python-mathlibtools.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/lean.scm (python-mathlibtools): New variable.

Signed-off-by: Ludovic Courtès &lt;ludo@gnu.org&gt;
</span></span></td><td>Pradana AUMARS</td></tr>
<tr><td><span title='2022-03-11 23:34:47 -0500'>2022-03-11</span></td><td><a href='/guix/commit/gnu/packages/lean.scm?id=46ae78ba45711b43ca5948c9adbd23cc9e773bff'>gnu: lean: Update to 3.41.0 and fixes toward cross-compilation.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/lean.scm (lean): Update to 3.41.0.
[phases]: Remove trailing #t.
[tests?] Set to #false when cross-compiling.
[inputs]: Add bash-minimal.

Co-authored-by: Maxime Devos &lt;maximedevos@telenet.be&gt;
</span></span></td><td>Maxim Cournoyer</td></tr>