aboutsummaryrefslogtreecommitdiff
path: root/doc/images/coreutils-graph.dot
blob: cb0622a4273d6a6858666a96197e6bd4e124c8f4 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
digraph "Guix package" {
  "70481600" [label = "coreutils-8.24", shape = box, fontname = Helvetica];
  "70481600" -> "50717824" [color = red];
  "70481600" -> "57499200" [color = red];
  "70481600" -> "57496320" [color = red];
  "70481600" -> "69877504" [color = red];
  "50717824" [label = "perl-5.16.1", shape = box, fontname = Helvetica];
  "57499200" [label = "acl-2.2.52", shape = box, fontname = Helvetica];
  "57499200" -> "70563904" [color = red];
  "57499200" -> "50717824" [color = red];
  "57499200" -> "70563520" [color = red];
  "70563904" [label = "gettext-0.19.6", shape = box, fontname = Helvetica];
  "70563904" -> "69316352" [color = red];
  "69316352" [label = "expat-2.1.0", shape = box, fontname = Helvetica];
  "70563520" [label = "attr-2.4.46", shape = box, fontname = Helvetica];
  "70563520" -> "70563904" [color = red];
  "70563520" -> "50717824" [color = red];
  "57496320" [label = "gmp-6.0.0a", shape = box, fontname = Helvetica];
  "57496320" -> "57498432" [color = red];
  "57498432" [label = "m4-1.4.17", shape = box, fontname = Helvetica];
  "69877504" [label = "libcap-2.24", shape = box, fontname = Helvetica];
  "69877504" -> "50717824" [color = red];
  "69877504" -> "70563520" [color = red];

}
u/packages/coq.scm?id=3f9d44b0bdc61ddc927771b7dd995008931941bb'>gnu: Update coq-autosubst to 1.8....* gnu/packages/coq.scm (coq-autosubst): Update to 1.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I36b226afd3ed043977c6188dcb6bdeaf2e402de8 pukkamustard 2024-02-08gnu: Update coq-mathcomp to 1.17.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.17.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Ia8397f94b7158128e6473811355a2c596c98970b pukkamustard 2024-02-08gnu: Update coq-coquelicot to 3.4.0....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: I14c18abdbb7bebea75ac26be9c4c1954778cef22 pukkamustard 2024-02-08gnu: Update coq-gappa to 1.5.3....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.3. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Icc124d8a2d7a55717651d135d6817871b5bc6321 pukkamustard 2024-02-08gnu: Update coq-flocq to 4.1.1....* gnu/packages/coq.scm (coq-flocq): Update to 4.1.1. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Change-Id: Ib2d8fb4701d03a5e796736ab5b2a30dc6897dc22 pukkamustard 2023-11-23gnu: Add coq-for-coqtail....* gnu/packages/coq.scm (coq-for-coqtail): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Change-Id: I0c08a02f7937786b52039307c1019ae3474e625c Jean-Pierre De Jesus DIAZ