zimoun skribis: >> Removing this source file timestamp from compiled files would simplify >> things. Maybe nothing really depends on it and it would be possible... > >Thanks for the explanation. A developer of SBCL agrees that the timestamp should be removed [1], but currently Slime has a function depending on it. I asked if this could be fixed [2]. We'll see... [1] https://sourceforge.net/p/sbcl/mailman/message/37133640/ [2] https://github.com/slime/slime/issues/583