;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2019 Amin Bandali <bandali@gnu.org>
;;; Copyright © 2020 Brett Gilio <brettg@gnu.org>
;;; Copyright © 2020 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2022 Pradana Aumars <paumars@courrier.dev>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu packages lean)
  #:use-mo</td></tr></table>
<table class='tabs'><tr><td>
<a class='active' href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=85f075a05777309f73d495830aabae70c119e840'>refs</a><a href='/guix/log/'>log</a><a href='/guix/tree/?id=85f075a05777309f73d495830aabae70c119e840'>tree</a><a href='/guix/commit/?id=85f075a05777309f73d495830aabae70c119e840'>commit</a><a href='/guix/diff/?id=85f075a05777309f73d495830aabae70c119e840'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/'>
<input type='hidden' name='id' value='85f075a05777309f73d495830aabae70c119e840'/><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='content'><div id='summary'><pre>
# Obtained by running &quot;nix-store --graph&quot; on the first GCC derivation.

digraph G {
&quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [label = &quot;gcc-bootstrap-0.drv&quot;, fontname = &quot;dejavu sans&quot;, shape = box, style = filled, fillcolor = &quot;#ffffff&quot;];
&quot;/nix/store/3iawic1z95112yfz5y9xdp66qbxxr8l1-tar&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;black&quot;];
&quot;/nix/store/4sv9xhcjap6byca130fzpzzjalb7iixv-glibc-bootstrap-0.drv&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;red&quot;];
&quot;/nix/store/8cc81w6m04csm52y247xj3gydrbz2niv-xz&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;green&quot;];
&quot;/nix/store/96yx6013dhggr3mpg5ayxv8dm9mv2ghv-module-import.drv&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;blue&quot;];
&quot;/nix/store/fl9cwcczfdv73vq5sr0c4rd5hqzrgvac-gcc-4.7.2.tar.xz.drv&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;magenta&quot;];
&quot;/nix/store/jaaqdl979wjirnbxz1jqsipg22nva5n4-bash&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;burlywood&quot;];
&quot;/nix/store/r3dsy5j2c16sv26raala6kahff7w18hb-gcc-bootstrap-0-guile-builder&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;black&quot;];
&quot;/nix/store/x9x1a86flhx15cams7235rfy5gc5cww1-guile-bootstrap-2.0.drv&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;red&quot;];
&quot;/nix/store/y4n7rzysx6qz3p0n91dw9qz5w93l6iqv-module-import-compiled.drv&quot; -&gt; &quot;/nix/store/x60397za40lx0n88f51a2csfdq5xvb19-gcc-bootstrap-0.drv&quot; [color = &quot;green&quot;];
&quot;/nix/store/3iawic1z95112yfz5y9xdp66qbxxr8l1-tar&quot; [label = &quot;tar&quot;, fontname = &quot;dejavu sans&quot;, shape = box, style = filled, fillcolor = &quot;#ffffff&quot;];
&quot;/nix/store/4sv9xhcjap6byca130fzpzzjalb7iixv-glibc-bootstrap-0.drv&quot; [label = &quot;glibc-bootstrap-0.drv&quot;, fontname = &quot;dejavu sans&quot;, shape = box, style = filled, fillcolor = &quot;#ffffff&quot;];
&quot;/nix/store/3iawic1z95112yfz5y9xdp66qbxxr8l1-tar&quot; -&gt; &quot;/nix/store/4sv9xhcjap6byca130fzpzzjalb7iixv-glibc-bootstrap-0.drv&quot; [color = &quot;blue&quot;];
&quot;/nix/store/8cc81w6m04csm52y247xj3gydrbz2niv-xz&quot; -&gt; &quot;/nix/store/4sv9xhcjap6byca130fzpzzjalb7iixv-glibc-bootstrap-0.drv&quot; [color = &quot;magenta&quot;];
&quot;/nix/store/8iivk9hpnps21yrbq3zzsxgzv9ixbhgh-glibc-bootstrap-0-guile-builder&quot; -&gt; &quot;/nix/store/4sv9xhcj