1<?xml version="1.0" encoding="UTF-8"?>
2<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
4 <dia:attribute name="background">
5 <dia:color val="#ffffff"/>
7 <dia:attribute name="pagebreak">
8 <dia:color val="#000099"/>
10 <dia:attribute name="paper">
11 <dia:composite type="paper">
12 <dia:attribute name="name">
13 <dia:string>#A4#</dia:string>
15 <dia:attribute name="tmargin">
16 <dia:real val="2.8199999332427979"/>
18 <dia:attribute name="bmargin">
19 <dia:real val="2.8222000598907471"/>
21 <dia:attribute name="lmargin">
22 <dia:real val="2.8222000598907471"/>
24 <dia:attribute name="rmargin">
25 <dia:real val="2.8222000598907471"/>
27 <dia:attribute name="is_portrait">
28 <dia:boolean val="true"/>
30 <dia:attribute name="scaling">
31 <dia:real val="0.50346225500106812"/>
33 <dia:attribute name="fitto">
34 <dia:boolean val="true"/>
36 <dia:attribute name="fitwidth">
39 <dia:attribute name="fitheight">
44 <dia:attribute name="grid">
45 <dia:composite type="grid">
46 <dia:attribute name="width_x">
49 <dia:attribute name="width_y">
52 <dia:attribute name="visible_x">
55 <dia:attribute name="visible_y">
58 <dia:composite type="color"/>
61 <dia:attribute name="color">
62 <dia:color val="#d8e5e5"/>
64 <dia:attribute name="guides">
65 <dia:composite type="guides">
66 <dia:attribute name="hguides"/>
67 <dia:attribute name="vguides"/>
71 <dia:layer name="Background" visible="true" active="true">
72 <dia:object type="Standard - Box" version="0" id="O0">
73 <dia:attribute name="obj_pos">
74 <dia:point val="-3,16.3"/>
76 <dia:attribute name="obj_bb">
77 <dia:rectangle val="-3.05,16.25;5.95,29.75"/>
79 <dia:attribute name="elem_corner">
80 <dia:point val="-3,16.3"/>
82 <dia:attribute name="elem_width">
83 <dia:real val="8.9000000000000021"/>
85 <dia:attribute name="elem_height">
86 <dia:real val="13.399999999999999"/>
88 <dia:attribute name="border_width">
89 <dia:real val="0.10000000149011612"/>
91 <dia:attribute name="inner_color">
92 <dia:color val="#bfbfbf"/>
94 <dia:attribute name="show_background">
95 <dia:boolean val="true"/>
97 <dia:attribute name="line_style">
101 <dia:object type="Standard - Box" version="0" id="O1">
102 <dia:attribute name="obj_pos">
103 <dia:point val="14.85,12.965"/>
105 <dia:attribute name="obj_bb">
106 <dia:rectangle val="14.8,12.915;27.45,29.65"/>
108 <dia:attribute name="elem_corner">
109 <dia:point val="14.85,12.965"/>
111 <dia:attribute name="elem_width">
112 <dia:real val="12.549999999999995"/>
114 <dia:attribute name="elem_height">
115 <dia:real val="16.634999999999987"/>
117 <dia:attribute name="border_width">
118 <dia:real val="0.10000000149011612"/>
120 <dia:attribute name="inner_color">
121 <dia:color val="#bfbfbf"/>
123 <dia:attribute name="show_background">
124 <dia:boolean val="true"/>
126 <dia:attribute name="line_style">
131 <dia:object type="Flowchart - Parallelogram" version="0" id="O2">
132 <dia:attribute name="obj_pos">
133 <dia:point val="17.2356,25.9784"/>
135 <dia:attribute name="obj_bb">
136 <dia:rectangle val="17.1856,25.9284;26.9072,28.0284"/>
138 <dia:attribute name="elem_corner">
139 <dia:point val="17.2356,25.9784"/>
141 <dia:attribute name="elem_width">
142 <dia:real val="9.6216166559453669"/>
144 <dia:attribute name="elem_height">
147 <dia:attribute name="show_background">
148 <dia:boolean val="true"/>
150 <dia:attribute name="shear_angle">
153 <dia:attribute name="padding">
154 <dia:real val="0.5"/>
156 <dia:attribute name="text">
157 <dia:composite type="text">
158 <dia:attribute name="string">
159 <dia:string>#configuration-lts-x.y.nix#</dia:string>
161 <dia:attribute name="font">
162 <dia:font family="sans" style="0" name="Helvetica"/>
164 <dia:attribute name="height">
165 <dia:real val="0.80000000000000004"/>
167 <dia:attribute name="pos">
168 <dia:point val="22.0464,27.1734"/>
170 <dia:attribute name="color">
171 <dia:color val="#000000"/>
173 <dia:attribute name="alignment">
179 <dia:object type="Flowchart - Parallelogram" version="0" id="O3">
180 <dia:attribute name="obj_pos">
181 <dia:point val="16.4139,26.4093"/>
183 <dia:attribute name="obj_bb">
184 <dia:rectangle val="16.3639,26.3593;26.0855,28.4593"/>
186 <dia:attribute name="elem_corner">
187 <dia:point val="16.4139,26.4093"/>
189 <dia:attribute name="elem_width">
190 <dia:real val="9.6216166559453669"/>
192 <dia:attribute name="elem_height">
195 <dia:attribute name="show_background">
196 <dia:boolean val="true"/>
198 <dia:attribute name="shear_angle">
201 <dia:attribute name="padding">
202 <dia:real val="0.5"/>
204 <dia:attribute name="text">
205 <dia:composite type="text">
206 <dia:attribute name="string">
207 <dia:string>#configuration-lts-x.y.nix#</dia:string>
209 <dia:attribute name="font">
210 <dia:font family="sans" style="0" name="Helvetica"/>
212 <dia:attribute name="height">
213 <dia:real val="0.80000000000000004"/>
215 <dia:attribute name="pos">
216 <dia:point val="21.2247,27.6043"/>
218 <dia:attribute name="color">
219 <dia:color val="#000000"/>
221 <dia:attribute name="alignment">
227 <dia:object type="Flowchart - Parallelogram" version="0" id="O4">
228 <dia:attribute name="obj_pos">
229 <dia:point val="15.7148,26.8153"/>
231 <dia:attribute name="obj_bb">
232 <dia:rectangle val="15.6648,26.7653;25.3864,28.8653"/>
234 <dia:attribute name="elem_corner">
235 <dia:point val="15.7148,26.8153"/>
237 <dia:attribute name="elem_width">
238 <dia:real val="9.6216166559453669"/>
240 <dia:attribute name="elem_height">
243 <dia:attribute name="show_background">
244 <dia:boolean val="true"/>
246 <dia:attribute name="shear_angle">
249 <dia:attribute name="padding">
250 <dia:real val="0.5"/>
252 <dia:attribute name="text">
253 <dia:composite type="text">
254 <dia:attribute name="string">
255 <dia:string>#configuration-lts-x.y.nix#</dia:string>
257 <dia:attribute name="font">
258 <dia:font family="sans" style="0" name="Helvetica"/>
260 <dia:attribute name="height">
261 <dia:real val="0.80000000000000004"/>
263 <dia:attribute name="pos">
264 <dia:point val="20.5256,28.0103"/>
266 <dia:attribute name="color">
267 <dia:color val="#000000"/>
269 <dia:attribute name="alignment">
276 <dia:object type="Standard - Line" version="0" id="O5">
277 <dia:attribute name="obj_pos">
278 <dia:point val="21.5216,23.6895"/>
280 <dia:attribute name="obj_bb">
281 <dia:rectangle val="21.2119,23.6383;21.9353,26.5211"/>
283 <dia:attribute name="conn_endpoints">
284 <dia:point val="21.5216,23.6895"/>
285 <dia:point val="21.5887,26.4093"/>
287 <dia:attribute name="numcp">
290 <dia:attribute name="end_arrow">
293 <dia:attribute name="end_arrow_length">
294 <dia:real val="0.5"/>
296 <dia:attribute name="end_arrow_width">
297 <dia:real val="0.5"/>
300 <dia:connection handle="0" to="O7" connection="14"/>
301 <dia:connection handle="1" to="O3" connection="2"/>
305 <dia:object type="Flowchart - Manual Input" version="1" id="O6">
306 <dia:attribute name="obj_pos">
307 <dia:point val="17.5436,21.2235"/>
309 <dia:attribute name="obj_bb">
310 <dia:rectangle val="17.4936,21.1687;26.3211,23.2735"/>
312 <dia:attribute name="meta">
313 <dia:composite type="dict"/>
315 <dia:attribute name="elem_corner">
316 <dia:point val="17.5436,21.2235"/>
318 <dia:attribute name="elem_width">
319 <dia:real val="8.7275000000000009"/>
321 <dia:attribute name="elem_height">
324 <dia:attribute name="line_width">
325 <dia:real val="0.10000000000000001"/>
327 <dia:attribute name="line_colour">
328 <dia:color val="#000000"/>
330 <dia:attribute name="fill_colour">
331 <dia:color val="#ffffff"/>
333 <dia:attribute name="show_background">
334 <dia:boolean val="true"/>
336 <dia:attribute name="line_style">
340 <dia:attribute name="padding">
341 <dia:real val="0.10000000000000001"/>
343 <dia:attribute name="text">
344 <dia:composite type="text">
345 <dia:attribute name="string">
346 <dia:string>#configuration-ghc-x.y.nix#</dia:string>
348 <dia:attribute name="font">
349 <dia:font family="sans" style="0" name="Helvetica"/>
351 <dia:attribute name="height">
352 <dia:real val="0.80000000000000004"/>
354 <dia:attribute name="pos">
355 <dia:point val="21.9074,22.8235"/>
357 <dia:attribute name="color">
358 <dia:color val="#000000"/>
360 <dia:attribute name="alignment">
365 <dia:attribute name="flip_horizontal">
366 <dia:boolean val="false"/>
368 <dia:attribute name="flip_vertical">
369 <dia:boolean val="false"/>
371 <dia:attribute name="subscale">
375 <dia:object type="Flowchart - Manual Input" version="1" id="O7">
376 <dia:attribute name="obj_pos">
377 <dia:point val="17.1578,21.6895"/>
379 <dia:attribute name="obj_bb">
380 <dia:rectangle val="17.1078,21.6347;25.9353,23.7395"/>
382 <dia:attribute name="meta">
383 <dia:composite type="dict"/>
385 <dia:attribute name="elem_corner">
386 <dia:point val="17.1578,21.6895"/>
388 <dia:attribute name="elem_width">
389 <dia:real val="8.7275000000000009"/>
391 <dia:attribute name="elem_height">
394 <dia:attribute name="line_width">
395 <dia:real val="0.10000000000000001"/>
397 <dia:attribute name="line_colour">
398 <dia:color val="#000000"/>
400 <dia:attribute name="fill_colour">
401 <dia:color val="#ffffff"/>
403 <dia:attribute name="show_background">
404 <dia:boolean val="true"/>
406 <dia:attribute name="line_style">
410 <dia:attribute name="padding">
411 <dia:real val="0.10000000000000001"/>
413 <dia:attribute name="text">
414 <dia:composite type="text">
415 <dia:attribute name="string">
416 <dia:string>#configuration-ghc-x.y.nix#</dia:string>
418 <dia:attribute name="font">
419 <dia:font family="sans" style="0" name="Helvetica"/>
421 <dia:attribute name="height">
422 <dia:real val="0.80000000000000004"/>
424 <dia:attribute name="pos">
425 <dia:point val="21.5216,23.2895"/>
427 <dia:attribute name="color">
428 <dia:color val="#000000"/>
430 <dia:attribute name="alignment">
435 <dia:attribute name="flip_horizontal">
436 <dia:boolean val="false"/>
438 <dia:attribute name="flip_vertical">
439 <dia:boolean val="false"/>
441 <dia:attribute name="subscale">
445 <dia:object type="Flowchart - Manual Input" version="1" id="O8">
446 <dia:attribute name="obj_pos">
447 <dia:point val="16.7028,22.1633"/>
449 <dia:attribute name="obj_bb">
450 <dia:rectangle val="16.6528,22.1085;25.4803,24.2133"/>
452 <dia:attribute name="meta">
453 <dia:composite type="dict"/>
455 <dia:attribute name="elem_corner">
456 <dia:point val="16.7028,22.1633"/>
458 <dia:attribute name="elem_width">
459 <dia:real val="8.7275000000000009"/>
461 <dia:attribute name="elem_height">
464 <dia:attribute name="line_width">
465 <dia:real val="0.10000000000000001"/>
467 <dia:attribute name="line_colour">
468 <dia:color val="#000000"/>
470 <dia:attribute name="fill_colour">
471 <dia:color val="#ffffff"/>
473 <dia:attribute name="show_background">
474 <dia:boolean val="true"/>
476 <dia:attribute name="line_style">
480 <dia:attribute name="padding">
481 <dia:real val="0.10000000000000001"/>
483 <dia:attribute name="text">
484 <dia:composite type="text">
485 <dia:attribute name="string">
486 <dia:string>#configuration-ghc-x.y.nix#</dia:string>
488 <dia:attribute name="font">
489 <dia:font family="sans" style="0" name="Helvetica"/>
491 <dia:attribute name="height">
492 <dia:real val="0.80000000000000004"/>
494 <dia:attribute name="pos">
495 <dia:point val="21.0666,23.7633"/>
497 <dia:attribute name="color">
498 <dia:color val="#000000"/>
500 <dia:attribute name="alignment">
505 <dia:attribute name="flip_horizontal">
506 <dia:boolean val="false"/>
508 <dia:attribute name="flip_vertical">
509 <dia:boolean val="false"/>
511 <dia:attribute name="subscale">
516 <dia:object type="Standard - Box" version="0" id="O9">
517 <dia:attribute name="obj_pos">
518 <dia:point val="6.4325,18.1"/>
520 <dia:attribute name="obj_bb">
521 <dia:rectangle val="6.3825,18.05;14.4,29.7"/>
523 <dia:attribute name="elem_corner">
524 <dia:point val="6.4325,18.1"/>
526 <dia:attribute name="elem_width">
527 <dia:real val="7.9174999999999933"/>
529 <dia:attribute name="elem_height">
530 <dia:real val="11.550000000000015"/>
532 <dia:attribute name="border_width">
533 <dia:real val="0.10000000149011612"/>
535 <dia:attribute name="inner_color">
536 <dia:color val="#bfbfbf"/>
538 <dia:attribute name="show_background">
539 <dia:boolean val="true"/>
541 <dia:attribute name="line_style">
545 <dia:object type="Flowchart - Parallelogram" version="0" id="O10">
546 <dia:attribute name="obj_pos">
547 <dia:point val="-2.10183,21.785"/>
549 <dia:attribute name="obj_bb">
550 <dia:rectangle val="-2.15183,21.735;5.50479,23.835"/>
552 <dia:attribute name="elem_corner">
553 <dia:point val="-2.10183,21.785"/>
555 <dia:attribute name="elem_width">
556 <dia:real val="7.5566166559453665"/>
558 <dia:attribute name="elem_height">
561 <dia:attribute name="show_background">
562 <dia:boolean val="true"/>
564 <dia:attribute name="shear_angle">
567 <dia:attribute name="padding">
568 <dia:real val="0.5"/>
570 <dia:attribute name="text">
571 <dia:composite type="text">
572 <dia:attribute name="string">
573 <dia:string>#Stackage Nightly#</dia:string>
575 <dia:attribute name="font">
576 <dia:font family="sans" style="0" name="Helvetica"/>
578 <dia:attribute name="height">
579 <dia:real val="0.80000000000000004"/>
581 <dia:attribute name="pos">
582 <dia:point val="1.67648,22.98"/>
584 <dia:attribute name="color">
585 <dia:color val="#000000"/>
587 <dia:attribute name="alignment">
593 <dia:object type="Flowchart - Parallelogram" version="0" id="O11">
594 <dia:attribute name="obj_pos">
595 <dia:point val="-1.97933,17.3272"/>
597 <dia:attribute name="obj_bb">
598 <dia:rectangle val="-2.02933,17.2772;5.38229,19.3772"/>
600 <dia:attribute name="elem_corner">
601 <dia:point val="-1.97933,17.3272"/>
603 <dia:attribute name="elem_width">
604 <dia:real val="7.3116166559453664"/>
606 <dia:attribute name="elem_height">
609 <dia:attribute name="show_background">
610 <dia:boolean val="true"/>
612 <dia:attribute name="shear_angle">
615 <dia:attribute name="padding">
616 <dia:real val="0.5"/>
618 <dia:attribute name="text">
619 <dia:composite type="text">
620 <dia:attribute name="string">
621 <dia:string>#all-cabal-hashes#</dia:string>
623 <dia:attribute name="font">
624 <dia:font family="sans" style="0" name="Helvetica"/>
626 <dia:attribute name="height">
627 <dia:real val="0.80000000000000004"/>
629 <dia:attribute name="pos">
630 <dia:point val="1.67648,18.5222"/>
632 <dia:attribute name="color">
633 <dia:color val="#000000"/>
635 <dia:attribute name="alignment">
641 <dia:object type="Standard - Line" version="0" id="O12">
642 <dia:attribute name="obj_pos">
643 <dia:point val="1.687,14.8808"/>
645 <dia:attribute name="obj_bb">
646 <dia:rectangle val="1.31971,14.8306;2.04331,17.4024"/>
648 <dia:attribute name="conn_endpoints">
649 <dia:point val="1.687,14.8808"/>
650 <dia:point val="1.67964,17.2906"/>
652 <dia:attribute name="numcp">
655 <dia:attribute name="end_arrow">
658 <dia:attribute name="end_arrow_length">
659 <dia:real val="0.5"/>
661 <dia:attribute name="end_arrow_width">
662 <dia:real val="0.5"/>
665 <dia:connection handle="0" to="O27" connection="14"/>
666 <dia:connection handle="1" to="O11" connection="16"/>
669 <dia:object type="Standard - Line" version="0" id="O13">
670 <dia:attribute name="obj_pos">
671 <dia:point val="1.67648,19.3769"/>
673 <dia:attribute name="obj_bb">
674 <dia:rectangle val="1.31467,19.3269;2.03828,21.8471"/>
676 <dia:attribute name="conn_endpoints">
677 <dia:point val="1.67648,19.3769"/>
678 <dia:point val="1.67648,21.7353"/>
680 <dia:attribute name="numcp">
683 <dia:attribute name="end_arrow">
686 <dia:attribute name="end_arrow_length">
687 <dia:real val="0.5"/>
689 <dia:attribute name="end_arrow_width">
690 <dia:real val="0.5"/>
693 <dia:connection handle="0" to="O11" connection="16"/>
694 <dia:connection handle="1" to="O10" connection="16"/>
697 <dia:object type="Flowchart - Parallelogram" version="0" id="O14">
698 <dia:attribute name="obj_pos">
699 <dia:point val="17.1382,13.6837"/>
701 <dia:attribute name="obj_bb">
702 <dia:rectangle val="17.0882,13.6337;26.4473,15.6337"/>
704 <dia:attribute name="elem_corner">
705 <dia:point val="17.1382,13.6837"/>
707 <dia:attribute name="elem_width">
708 <dia:real val="9.2591166559453661"/>
710 <dia:attribute name="elem_height">
711 <dia:real val="1.9000000000000001"/>
713 <dia:attribute name="show_background">
714 <dia:boolean val="true"/>
716 <dia:attribute name="shear_angle">
719 <dia:attribute name="padding">
720 <dia:real val="0.5"/>
722 <dia:attribute name="text">
723 <dia:composite type="text">
724 <dia:attribute name="string">
725 <dia:string>#hackage-packages.nix#</dia:string>
727 <dia:attribute name="font">
728 <dia:font family="sans" style="0" name="Helvetica"/>
730 <dia:attribute name="height">
731 <dia:real val="0.80000000000000004"/>
733 <dia:attribute name="pos">
734 <dia:point val="21.7678,14.8287"/>
736 <dia:attribute name="color">
737 <dia:color val="#000000"/>
739 <dia:attribute name="alignment">
745 <dia:object type="Standard - Line" version="0" id="O15">
746 <dia:attribute name="obj_pos">
747 <dia:point val="3.68637,17.3272"/>
749 <dia:attribute name="obj_bb">
750 <dia:rectangle val="3.61566,13.6496;7.30368,17.3979"/>
752 <dia:attribute name="conn_endpoints">
753 <dia:point val="3.68637,17.3272"/>
754 <dia:point val="7.22528,13.7293"/>
756 <dia:attribute name="numcp">
759 <dia:attribute name="end_arrow">
762 <dia:attribute name="end_arrow_length">
763 <dia:real val="0.5"/>
765 <dia:attribute name="end_arrow_width">
766 <dia:real val="0.5"/>
769 <dia:connection handle="0" to="O11" connection="3"/>
770 <dia:connection handle="1" to="O16" connection="5"/>
773 <dia:object type="Flowchart - Box" version="0" id="O16">
774 <dia:attribute name="obj_pos">
775 <dia:point val="7.22528,13.2543"/>
777 <dia:attribute name="obj_bb">
778 <dia:rectangle val="7.17528,13.2043;13.55,15.2043"/>
780 <dia:attribute name="elem_corner">
781 <dia:point val="7.22528,13.2543"/>
783 <dia:attribute name="elem_width">
784 <dia:real val="6.2747199992549376"/>
786 <dia:attribute name="elem_height">
787 <dia:real val="1.9000000014901162"/>
789 <dia:attribute name="border_width">
790 <dia:real val="0.10000000149011612"/>
792 <dia:attribute name="border_color">
793 <dia:color val="#ff0000"/>
795 <dia:attribute name="show_background">
796 <dia:boolean val="true"/>
798 <dia:attribute name="padding">
799 <dia:real val="0.5"/>
801 <dia:attribute name="text">
802 <dia:composite type="text">
803 <dia:attribute name="string">
804 <dia:string>#hackage2nix#</dia:string>
806 <dia:attribute name="font">
807 <dia:font family="sans" style="0" name="Helvetica"/>
809 <dia:attribute name="height">
810 <dia:real val="0.80000000000000004"/>
812 <dia:attribute name="pos">
813 <dia:point val="10.3626,14.3993"/>
815 <dia:attribute name="color">
816 <dia:color val="#000000"/>
818 <dia:attribute name="alignment">
824 <dia:object type="Standard - Line" version="0" id="O17">
825 <dia:attribute name="obj_pos">
826 <dia:point val="3.74762,21.785"/>
828 <dia:attribute name="obj_bb">
829 <dia:rectangle val="3.68011,15.0553;7.29507,21.8526"/>
831 <dia:attribute name="conn_endpoints">
832 <dia:point val="3.74762,21.785"/>
833 <dia:point val="7.22528,15.1543"/>
835 <dia:attribute name="numcp">
838 <dia:attribute name="end_arrow">
841 <dia:attribute name="end_arrow_length">
842 <dia:real val="0.5"/>
844 <dia:attribute name="end_arrow_width">
845 <dia:real val="0.5"/>
848 <dia:connection handle="0" to="O10" connection="3"/>
849 <dia:connection handle="1" to="O16" connection="11"/>
852 <dia:object type="Flowchart - Manual Input" version="1" id="O18">
853 <dia:attribute name="obj_pos">
854 <dia:point val="17.0732,17.4036"/>
856 <dia:attribute name="obj_bb">
857 <dia:rectangle val="17.0232,17.3488;25.8507,19.4536"/>
859 <dia:attribute name="meta">
860 <dia:composite type="dict"/>
862 <dia:attribute name="elem_corner">
863 <dia:point val="17.0732,17.4036"/>
865 <dia:attribute name="elem_width">
866 <dia:real val="8.7275000000000009"/>
868 <dia:attribute name="elem_height">
871 <dia:attribute name="line_width">
872 <dia:real val="0.10000000000000001"/>
874 <dia:attribute name="line_colour">
875 <dia:color val="#000000"/>
877 <dia:attribute name="fill_colour">
878 <dia:color val="#ffffff"/>
880 <dia:attribute name="show_background">
881 <dia:boolean val="true"/>
883 <dia:attribute name="line_style">
887 <dia:attribute name="padding">
888 <dia:real val="0.10000000000000001"/>
890 <dia:attribute name="text">
891 <dia:composite type="text">
892 <dia:attribute name="string">
893 <dia:string>#configuration-common.nix#</dia:string>
895 <dia:attribute name="font">
896 <dia:font family="sans" style="0" name="Helvetica"/>
898 <dia:attribute name="height">
899 <dia:real val="0.80000000000000004"/>
901 <dia:attribute name="pos">
902 <dia:point val="21.437,19.0036"/>
904 <dia:attribute name="color">
905 <dia:color val="#000000"/>
907 <dia:attribute name="alignment">
912 <dia:attribute name="flip_horizontal">
913 <dia:boolean val="false"/>
915 <dia:attribute name="flip_vertical">
916 <dia:boolean val="false"/>
918 <dia:attribute name="subscale">
922 <dia:object type="Standard - Line" version="0" id="O19">
923 <dia:attribute name="obj_pos">
924 <dia:point val="13.5,14.2043"/>
926 <dia:attribute name="obj_bb">
927 <dia:rectangle val="13.4449,14.1492;17.5951,14.9279"/>
929 <dia:attribute name="conn_endpoints">
930 <dia:point val="13.5,14.2043"/>
931 <dia:point val="17.484,14.6337"/>
933 <dia:attribute name="numcp">
936 <dia:attribute name="end_arrow">
939 <dia:attribute name="end_arrow_length">
940 <dia:real val="0.5"/>
942 <dia:attribute name="end_arrow_width">
943 <dia:real val="0.5"/>
946 <dia:connection handle="0" to="O16" connection="8"/>
947 <dia:connection handle="1" to="O14" connection="7"/>
950 <dia:object type="Standard - Line" version="0" id="O20">
951 <dia:attribute name="obj_pos">
952 <dia:point val="13.5,15.1543"/>
954 <dia:attribute name="obj_bb">
955 <dia:rectangle val="13.437,15.0913;17.2977,26.5157"/>
957 <dia:attribute name="conn_endpoints">
958 <dia:point val="13.5,15.1543"/>
959 <dia:point val="17.1418,26.4093"/>
961 <dia:attribute name="numcp">
964 <dia:attribute name="end_arrow">
967 <dia:attribute name="end_arrow_length">
968 <dia:real val="0.5"/>
970 <dia:attribute name="end_arrow_width">
971 <dia:real val="0.5"/>
974 <dia:connection handle="0" to="O16" connection="15"/>
975 <dia:connection handle="1" to="O3" connection="0"/>
978 <dia:object type="Standard - Line" version="0" id="O21">
979 <dia:attribute name="obj_pos">
980 <dia:point val="21.422,15.5837"/>
982 <dia:attribute name="obj_bb">
983 <dia:rectangle val="21.071,15.5334;21.7946,17.9154"/>
985 <dia:attribute name="conn_endpoints">
986 <dia:point val="21.422,15.5837"/>
987 <dia:point val="21.437,17.8036"/>
989 <dia:attribute name="numcp">
992 <dia:attribute name="end_arrow">
995 <dia:attribute name="end_arrow_length">
996 <dia:real val="0.5"/>
998 <dia:attribute name="end_arrow_width">
999 <dia:real val="0.5"/>
1002 <dia:connection handle="0" to="O14" connection="13"/>
1003 <dia:connection handle="1" to="O18" connection="2"/>
1006 <dia:object type="Standard - Line" version="0" id="O22">
1007 <dia:attribute name="obj_pos">
1008 <dia:point val="21.461,19.4533"/>
1010 <dia:attribute name="obj_bb">
1011 <dia:rectangle val="21.1458,19.4022;21.8692,22.2013"/>
1013 <dia:attribute name="conn_endpoints">
1014 <dia:point val="21.461,19.4533"/>
1015 <dia:point val="21.5216,22.0895"/>
1017 <dia:attribute name="numcp">
1020 <dia:attribute name="end_arrow">
1021 <dia:enum val="22"/>
1023 <dia:attribute name="end_arrow_length">
1024 <dia:real val="0.5"/>
1026 <dia:attribute name="end_arrow_width">
1027 <dia:real val="0.5"/>
1030 <dia:connection handle="0" to="O18" connection="16"/>
1031 <dia:connection handle="1" to="O7" connection="2"/>
1034 <dia:object type="Flowchart - Manual Input" version="1" id="O23">
1035 <dia:attribute name="obj_pos">
1036 <dia:point val="6.9465,22.8184"/>
1038 <dia:attribute name="obj_bb">
1039 <dia:rectangle val="6.8965,22.7619;13.6137,24.8684"/>
1041 <dia:attribute name="meta">
1042 <dia:composite type="dict"/>
1044 <dia:attribute name="elem_corner">
1045 <dia:point val="6.9465,22.8184"/>
1047 <dia:attribute name="elem_width">
1048 <dia:real val="6.6171688018521273"/>
1050 <dia:attribute name="elem_height">
1053 <dia:attribute name="line_width">
1054 <dia:real val="0.10000000000000001"/>
1056 <dia:attribute name="line_colour">
1057 <dia:color val="#000000"/>
1059 <dia:attribute name="fill_colour">
1060 <dia:color val="#ffffff"/>
1062 <dia:attribute name="show_background">
1063 <dia:boolean val="true"/>
1065 <dia:attribute name="line_style">
1069 <dia:attribute name="padding">
1070 <dia:real val="0.10000000000000001"/>
1072 <dia:attribute name="text">
1073 <dia:composite type="text">
1074 <dia:attribute name="string">
1075 <dia:string>#packageOverrides#</dia:string>
1077 <dia:attribute name="font">
1078 <dia:font family="sans" style="0" name="Helvetica"/>
1080 <dia:attribute name="height">
1081 <dia:real val="0.80000000000000004"/>
1083 <dia:attribute name="pos">
1084 <dia:point val="10.2551,24.4184"/>
1086 <dia:attribute name="color">
1087 <dia:color val="#000000"/>
1089 <dia:attribute name="alignment">
1094 <dia:attribute name="flip_horizontal">
1095 <dia:boolean val="false"/>
1097 <dia:attribute name="flip_vertical">
1098 <dia:boolean val="false"/>
1100 <dia:attribute name="subscale">
1104 <dia:object type="Standard - Line" version="0" id="O24">
1105 <dia:attribute name="obj_pos">
1106 <dia:point val="21.4301,17.3918"/>
1108 <dia:attribute name="obj_bb">
1109 <dia:rectangle val="21.3798,17.3415;21.4829,17.8048"/>
1111 <dia:attribute name="conn_endpoints">
1112 <dia:point val="21.4301,17.3918"/>
1113 <dia:point val="21.4326,17.7544"/>
1115 <dia:attribute name="numcp">
1119 <dia:connection handle="1" to="O18" connection="16"/>
1122 <dia:object type="Standard - Line" version="0" id="O25">
1123 <dia:attribute name="obj_pos">
1124 <dia:point val="10.2551,24.8184"/>
1126 <dia:attribute name="obj_bb">
1127 <dia:rectangle val="9.92777,24.7671;10.6512,26.9271"/>
1129 <dia:attribute name="conn_endpoints">
1130 <dia:point val="10.2551,24.8184"/>
1131 <dia:point val="10.3046,26.8153"/>
1133 <dia:attribute name="numcp">
1136 <dia:attribute name="end_arrow">
1137 <dia:enum val="22"/>
1139 <dia:attribute name="end_arrow_length">
1140 <dia:real val="0.5"/>
1142 <dia:attribute name="end_arrow_width">
1143 <dia:real val="0.5"/>
1146 <dia:connection handle="0" to="O23" connection="14"/>
1147 <dia:connection handle="1" to="O26" connection="2"/>
1150 <dia:object type="Flowchart - Terminal" version="1" id="O26">
1151 <dia:attribute name="obj_pos">
1152 <dia:point val="7.42276,26.8153"/>
1154 <dia:attribute name="obj_bb">
1155 <dia:rectangle val="7.37276,26.7653;13.2365,28.8653"/>
1157 <dia:attribute name="meta">
1158 <dia:composite type="dict"/>
1160 <dia:attribute name="elem_corner">
1161 <dia:point val="7.42276,26.8153"/>
1163 <dia:attribute name="elem_width">
1164 <dia:real val="5.7637499999999999"/>
1166 <dia:attribute name="elem_height">
1169 <dia:attribute name="line_width">
1170 <dia:real val="0.10000000000000001"/>
1172 <dia:attribute name="line_colour">
1173 <dia:color val="#000000"/>
1175 <dia:attribute name="fill_colour">
1176 <dia:color val="#ffffff"/>
1178 <dia:attribute name="show_background">
1179 <dia:boolean val="true"/>
1181 <dia:attribute name="line_style">
1185 <dia:attribute name="padding">
1186 <dia:real val="0.10000000000000001"/>
1188 <dia:attribute name="text">
1189 <dia:composite type="text">
1190 <dia:attribute name="string">
1191 <dia:string>#Installation#</dia:string>
1193 <dia:attribute name="font">
1194 <dia:font family="sans" style="0" name="Helvetica"/>
1196 <dia:attribute name="height">
1197 <dia:real val="0.80000000000000004"/>
1199 <dia:attribute name="pos">
1200 <dia:point val="10.3046,28.0153"/>
1202 <dia:attribute name="color">
1203 <dia:color val="#000000"/>
1205 <dia:attribute name="alignment">
1210 <dia:attribute name="flip_horizontal">
1211 <dia:boolean val="false"/>
1213 <dia:attribute name="flip_vertical">
1214 <dia:boolean val="false"/>
1216 <dia:attribute name="subscale">
1220 <dia:object type="Flowchart - Terminal" version="1" id="O27">
1221 <dia:attribute name="obj_pos">
1222 <dia:point val="-0.624878,12.8808"/>
1224 <dia:attribute name="obj_bb">
1225 <dia:rectangle val="-0.674878,12.8308;4.04887,14.9308"/>
1227 <dia:attribute name="meta">
1228 <dia:composite type="dict"/>
1230 <dia:attribute name="elem_corner">
1231 <dia:point val="-0.624878,12.8808"/>
1233 <dia:attribute name="elem_width">
1234 <dia:real val="4.6237500000000002"/>
1236 <dia:attribute name="elem_height">
1239 <dia:attribute name="line_width">
1240 <dia:real val="0.10000000000000001"/>
1242 <dia:attribute name="line_colour">
1243 <dia:color val="#000000"/>
1245 <dia:attribute name="fill_colour">
1246 <dia:color val="#ffffff"/>
1248 <dia:attribute name="show_background">
1249 <dia:boolean val="true"/>
1251 <dia:attribute name="line_style">
1255 <dia:attribute name="padding">
1256 <dia:real val="0.10000000000000001"/>
1258 <dia:attribute name="text">
1259 <dia:composite type="text">
1260 <dia:attribute name="string">
1261 <dia:string>#Hackage#</dia:string>
1263 <dia:attribute name="font">
1264 <dia:font family="sans" style="0" name="Helvetica"/>
1266 <dia:attribute name="height">
1267 <dia:real val="0.80000000000000004"/>
1269 <dia:attribute name="pos">
1270 <dia:point val="1.687,14.0808"/>
1272 <dia:attribute name="color">
1273 <dia:color val="#000000"/>
1275 <dia:attribute name="alignment">
1280 <dia:attribute name="flip_horizontal">
1281 <dia:boolean val="false"/>
1283 <dia:attribute name="flip_vertical">
1284 <dia:boolean val="false"/>
1286 <dia:attribute name="subscale">
1290 <dia:object type="Standard - Line" version="0" id="O28">
1291 <dia:attribute name="obj_pos">
1292 <dia:point val="16.0788,27.8153"/>
1294 <dia:attribute name="obj_bb">
1295 <dia:rectangle val="11.8186,24.7486;16.1486,27.8851"/>
1297 <dia:attribute name="conn_endpoints">
1298 <dia:point val="16.0788,27.8153"/>
1299 <dia:point val="11.9094,24.8184"/>
1301 <dia:attribute name="numcp">
1304 <dia:attribute name="end_arrow">
1305 <dia:enum val="22"/>
1307 <dia:attribute name="end_arrow_length">
1308 <dia:real val="0.5"/>
1310 <dia:attribute name="end_arrow_width">
1311 <dia:real val="0.5"/>
1314 <dia:connection handle="0" to="O4" connection="7"/>
1315 <dia:connection handle="1" to="O23" connection="15"/>
1318 <dia:object type="Standard - Arc" version="0" id="O29">
1319 <dia:attribute name="obj_pos">
1320 <dia:point val="17.1578,22.4895"/>
1322 <dia:attribute name="obj_bb">
1323 <dia:rectangle val="11.6677,20.6742;17.2126,23.0731"/>
1325 <dia:attribute name="conn_endpoints">
1326 <dia:point val="17.1578,22.4895"/>
1327 <dia:point val="11.9094,23.0184"/>
1329 <dia:attribute name="curve_distance">
1330 <dia:real val="2.0262286951573065"/>
1332 <dia:attribute name="line_width">
1333 <dia:real val="0.10000000149011612"/>
1335 <dia:attribute name="end_arrow">
1336 <dia:enum val="22"/>
1338 <dia:attribute name="end_arrow_length">
1339 <dia:real val="0.5"/>
1341 <dia:attribute name="end_arrow_width">
1342 <dia:real val="0.5"/>
1345 <dia:connection handle="0" to="O7" connection="0"/>
1346 <dia:connection handle="1" to="O23" connection="3"/>
1349 <dia:object type="Standard - Text" version="1" id="O30">
1350 <dia:attribute name="obj_pos">
1351 <dia:point val="-0.02875,30.75"/>
1353 <dia:attribute name="obj_bb">
1354 <dia:rectangle val="-0.02875,30.155;2.92875,30.9"/>
1356 <dia:attribute name="text">
1357 <dia:composite type="text">
1358 <dia:attribute name="string">
1359 <dia:string>#Stackage#</dia:string>
1361 <dia:attribute name="font">
1362 <dia:font family="sans" style="0" name="Helvetica"/>
1364 <dia:attribute name="height">
1365 <dia:real val="0.80000000000000004"/>
1367 <dia:attribute name="pos">
1368 <dia:point val="-0.02875,30.75"/>
1370 <dia:attribute name="color">
1371 <dia:color val="#000000"/>
1373 <dia:attribute name="alignment">
1378 <dia:attribute name="valign">
1382 <dia:object type="Standard - Text" version="1" id="O31">
1383 <dia:attribute name="obj_pos">
1384 <dia:point val="9.6625,30.75"/>
1386 <dia:attribute name="obj_bb">
1387 <dia:rectangle val="9.6625,30.155;11.12,30.9"/>
1389 <dia:attribute name="text">
1390 <dia:composite type="text">
1391 <dia:attribute name="string">
1392 <dia:string>#User#</dia:string>
1394 <dia:attribute name="font">
1395 <dia:font family="sans" style="0" name="Helvetica"/>
1397 <dia:attribute name="height">
1398 <dia:real val="0.80000000000000004"/>
1400 <dia:attribute name="pos">
1401 <dia:point val="9.6625,30.75"/>
1403 <dia:attribute name="color">
1404 <dia:color val="#000000"/>
1406 <dia:attribute name="alignment">
1411 <dia:attribute name="valign">
1415 <dia:object type="Standard - Text" version="1" id="O32">
1416 <dia:attribute name="obj_pos">
1417 <dia:point val="19.905,30.75"/>
1419 <dia:attribute name="obj_bb">
1420 <dia:rectangle val="19.905,30.155;22.46,30.9"/>
1422 <dia:attribute name="text">
1423 <dia:composite type="text">
1424 <dia:attribute name="string">
1425 <dia:string>#Nixpkgs#</dia:string>
1427 <dia:attribute name="font">
1428 <dia:font family="sans" style="0" name="Helvetica"/>
1430 <dia:attribute name="height">
1431 <dia:real val="0.80000000000000004"/>
1433 <dia:attribute name="pos">
1434 <dia:point val="19.905,30.75"/>
1436 <dia:attribute name="color">
1437 <dia:color val="#000000"/>
1439 <dia:attribute name="alignment">
1444 <dia:attribute name="valign">
1448 <dia:object type="Standard - Arc" version="0" id="O33">
1449 <dia:attribute name="obj_pos">
1450 <dia:point val="-0.333411,19.3272"/>
1452 <dia:attribute name="obj_bb">
1453 <dia:rectangle val="-2.80954,19.2707;-0.276884,26.5994"/>
1455 <dia:attribute name="conn_endpoints">
1456 <dia:point val="-0.333411,19.3272"/>
1457 <dia:point val="-1.35706,26.5429"/>
1459 <dia:attribute name="curve_distance">
1460 <dia:real val="1.8888235106861362"/>
1462 <dia:attribute name="line_width">
1463 <dia:real val="0.10000000149011612"/>
1465 <dia:attribute name="end_arrow">
1466 <dia:enum val="22"/>
1468 <dia:attribute name="end_arrow_length">
1469 <dia:real val="0.5"/>
1471 <dia:attribute name="end_arrow_width">
1472 <dia:real val="0.5"/>
1475 <dia:connection handle="0" to="O11" connection="12"/>
1476 <dia:connection handle="1" to="O35" connection="0"/>
1480 <dia:object type="Flowchart - Parallelogram" version="0" id="O34">
1481 <dia:attribute name="obj_pos">
1482 <dia:point val="-1.635,26.2429"/>
1484 <dia:attribute name="obj_bb">
1485 <dia:rectangle val="-1.685,26.1929;5.27412,28.2929"/>
1487 <dia:attribute name="elem_corner">
1488 <dia:point val="-1.635,26.2429"/>
1490 <dia:attribute name="elem_width">
1491 <dia:real val="6.8591166559453667"/>
1493 <dia:attribute name="elem_height">
1496 <dia:attribute name="show_background">
1497 <dia:boolean val="true"/>
1499 <dia:attribute name="shear_angle">
1500 <dia:real val="70"/>
1502 <dia:attribute name="padding">
1503 <dia:real val="0.5"/>
1505 <dia:attribute name="text">
1506 <dia:composite type="text">
1507 <dia:attribute name="string">
1508 <dia:string>#LTS Haskell x.y#</dia:string>
1510 <dia:attribute name="font">
1511 <dia:font family="sans" style="0" name="Helvetica"/>
1513 <dia:attribute name="height">
1514 <dia:real val="0.80000000000000004"/>
1516 <dia:attribute name="pos">
1517 <dia:point val="1.79456,27.4379"/>
1519 <dia:attribute name="color">
1520 <dia:color val="#000000"/>
1522 <dia:attribute name="alignment">
1528 <dia:object type="Flowchart - Parallelogram" version="0" id="O35">
1529 <dia:attribute name="obj_pos">
1530 <dia:point val="-2.085,26.5429"/>
1532 <dia:attribute name="obj_bb">
1533 <dia:rectangle val="-2.135,26.4929;4.82412,28.5929"/>
1535 <dia:attribute name="elem_corner">
1536 <dia:point val="-2.085,26.5429"/>
1538 <dia:attribute name="elem_width">
1539 <dia:real val="6.8591166559453667"/>
1541 <dia:attribute name="elem_height">
1544 <dia:attribute name="show_background">
1545 <dia:boolean val="true"/>
1547 <dia:attribute name="shear_angle">
1548 <dia:real val="70"/>
1550 <dia:attribute name="padding">
1551 <dia:real val="0.5"/>
1553 <dia:attribute name="text">
1554 <dia:composite type="text">
1555 <dia:attribute name="string">
1556 <dia:string>#LTS Haskell x.y#</dia:string>
1558 <dia:attribute name="font">
1559 <dia:font family="sans" style="0" name="Helvetica"/>
1561 <dia:attribute name="height">
1562 <dia:real val="0.80000000000000004"/>
1564 <dia:attribute name="pos">
1565 <dia:point val="1.34456,27.7379"/>
1567 <dia:attribute name="color">
1568 <dia:color val="#000000"/>
1570 <dia:attribute name="alignment">
1576 <dia:object type="Flowchart - Parallelogram" version="0" id="O36">
1577 <dia:attribute name="obj_pos">
1578 <dia:point val="-2.55308,26.8153"/>
1580 <dia:attribute name="obj_bb">
1581 <dia:rectangle val="-2.60308,26.7653;4.35604,28.8653"/>
1583 <dia:attribute name="elem_corner">
1584 <dia:point val="-2.55308,26.8153"/>
1586 <dia:attribute name="elem_width">
1587 <dia:real val="6.8591166559453667"/>
1589 <dia:attribute name="elem_height">
1592 <dia:attribute name="show_background">
1593 <dia:boolean val="true"/>
1595 <dia:attribute name="shear_angle">
1596 <dia:real val="70"/>
1598 <dia:attribute name="padding">
1599 <dia:real val="0.5"/>
1601 <dia:attribute name="text">
1602 <dia:composite type="text">
1603 <dia:attribute name="string">
1604 <dia:string>#LTS Haskell x.y#</dia:string>
1606 <dia:attribute name="font">
1607 <dia:font family="sans" style="0" name="Helvetica"/>
1609 <dia:attribute name="height">
1610 <dia:real val="0.80000000000000004"/>
1612 <dia:attribute name="pos">
1613 <dia:point val="0.876478,28.0103"/>
1615 <dia:attribute name="color">
1616 <dia:color val="#000000"/>
1618 <dia:attribute name="alignment">
1625 <dia:object type="Flowchart - Box" version="0" id="O37">
1626 <dia:attribute name="obj_pos">
1627 <dia:point val="7.665,18.915"/>
1629 <dia:attribute name="obj_bb">
1630 <dia:rectangle val="7.615,18.865;12.956,20.865"/>
1632 <dia:attribute name="elem_corner">
1633 <dia:point val="7.665,18.915"/>
1635 <dia:attribute name="elem_width">
1636 <dia:real val="5.2410062688035248"/>
1638 <dia:attribute name="elem_height">
1639 <dia:real val="1.9000000014901162"/>
1641 <dia:attribute name="border_width">
1642 <dia:real val="0.10000000149011612"/>
1644 <dia:attribute name="border_color">
1645 <dia:color val="#ff0000"/>
1647 <dia:attribute name="show_background">
1648 <dia:boolean val="true"/>
1650 <dia:attribute name="padding">
1651 <dia:real val="0.5"/>
1653 <dia:attribute name="text">
1654 <dia:composite type="text">
1655 <dia:attribute name="string">
1656 <dia:string>#cabal2nix#</dia:string>
1658 <dia:attribute name="font">
1659 <dia:font family="sans" style="0" name="Helvetica"/>
1661 <dia:attribute name="height">
1662 <dia:real val="0.80000000000000004"/>
1664 <dia:attribute name="pos">
1665 <dia:point val="10.2855,20.06"/>
1667 <dia:attribute name="color">
1668 <dia:color val="#000000"/>
1670 <dia:attribute name="alignment">
1676 <dia:object type="Standard - Arc" version="0" id="O38">
1677 <dia:attribute name="obj_pos">
1678 <dia:point val="3.77316,14.5879"/>
1680 <dia:attribute name="obj_bb">
1681 <dia:rectangle val="3.70274,14.5175;9.04567,18.9854"/>
1683 <dia:attribute name="conn_endpoints">
1684 <dia:point val="3.77316,14.5879"/>
1685 <dia:point val="8.97525,18.915"/>
1687 <dia:attribute name="curve_distance">
1688 <dia:real val="-0.48495657994633201"/>
1690 <dia:attribute name="line_width">
1691 <dia:real val="0.10000000149011612"/>
1693 <dia:attribute name="end_arrow">
1694 <dia:enum val="22"/>
1696 <dia:attribute name="end_arrow_length">
1697 <dia:real val="0.5"/>
1699 <dia:attribute name="end_arrow_width">
1700 <dia:real val="0.5"/>
1703 <dia:connection handle="0" to="O27" connection="11"/>
1704 <dia:connection handle="1" to="O37" connection="1"/>
1707 <dia:object type="Standard - Line" version="0" id="O39">
1708 <dia:attribute name="obj_pos">
1709 <dia:point val="10.2855,20.815"/>
1711 <dia:attribute name="obj_bb">
1712 <dia:rectangle val="9.90105,20.7644;10.6246,23.3301"/>
1714 <dia:attribute name="conn_endpoints">
1715 <dia:point val="10.2855,20.815"/>
1716 <dia:point val="10.2551,23.2184"/>
1718 <dia:attribute name="numcp">
1721 <dia:attribute name="end_arrow">
1722 <dia:enum val="22"/>
1724 <dia:attribute name="end_arrow_length">
1725 <dia:real val="0.5"/>
1727 <dia:attribute name="end_arrow_width">
1728 <dia:real val="0.5"/>
1731 <dia:connection handle="0" to="O37" connection="13"/>
1732 <dia:connection handle="1" to="O23" connection="2"/>
1735 <dia:object type="Standard - Arc" version="0" id="O40">
1736 <dia:attribute name="obj_pos">
1737 <dia:point val="3.69132,26.2429"/>
1739 <dia:attribute name="obj_bb">
1740 <dia:rectangle val="3.625,15.088;8.92045,26.3092"/>
1742 <dia:attribute name="conn_endpoints">
1743 <dia:point val="3.69132,26.2429"/>
1744 <dia:point val="8.79396,15.1543"/>
1746 <dia:attribute name="curve_distance">
1747 <dia:real val="0.38078805475472505"/>
1749 <dia:attribute name="line_width">
1750 <dia:real val="0.10000000149011612"/>
1752 <dia:attribute name="end_arrow">
1753 <dia:enum val="22"/>
1755 <dia:attribute name="end_arrow_length">
1756 <dia:real val="0.5"/>
1758 <dia:attribute name="end_arrow_width">
1759 <dia:real val="0.5"/>
1762 <dia:connection handle="0" to="O34" connection="3"/>
1763 <dia:connection handle="1" to="O16" connection="12"/>
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list