@@ -0,0 +1,1767 @@
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">
151+ <dia:real val="70"/>
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">
199+ <dia:real val="70"/>
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">
247+ <dia:real val="70"/>
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">
291+ <dia:enum val="22"/>
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">
565+ <dia:real val="70"/>
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">
613+ <dia:real val="70"/>
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">
656+ <dia:enum val="22"/>
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">
684+ <dia:enum val="22"/>
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">
717+ <dia:real val="70"/>
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">
760+ <dia:enum val="22"/>
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">
839+ <dia:enum val="22"/>
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">
937+ <dia:enum val="22"/>
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">
965+ <dia:enum val="22"/>
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">
993+ <dia:enum val="22"/>
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">
1051+ <dia:real val="2"/>
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">
1066+ <dia:enum val="0"/>
1067+ <dia:real val="1"/>
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">
1090+ <dia:enum val="1"/>
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">
1101+ <dia:real val="1"/>
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">
1167+ <dia:real val="2"/>
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">
1182+ <dia:enum val="0"/>
1183+ <dia:real val="1"/>
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">
1206+ <dia:enum val="1"/>
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">
1217+ <dia:real val="1"/>
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">
1237+ <dia:real val="2"/>
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">
1252+ <dia:enum val="0"/>
1253+ <dia:real val="1"/>
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">
1276+ <dia:enum val="1"/>
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">
1287+ <dia:real val="1"/>
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">
1374+ <dia:enum val="0"/>
1378+ <dia:attribute name="valign">
1379+ <dia:enum val="3"/>
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">
1407+ <dia:enum val="0"/>
1411+ <dia:attribute name="valign">
1412+ <dia:enum val="3"/>
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">
1440+ <dia:enum val="0"/>
1444+ <dia:attribute name="valign">
1445+ <dia:enum val="3"/>
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">
1494+ <dia:real val="2"/>
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">
1523+ <dia:enum val="1"/>
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">
1542+ <dia:real val="2"/>
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">
1571+ <dia:enum val="1"/>
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">
1590+ <dia:real val="2"/>
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">
1619+ <dia:enum val="1"/>
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">
1671+ <dia:enum val="1"/>
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"/>