packages: coq/coqide.xpm (NEW) - icon for coqide desktop entry

[baggins]

Author: baggins                      Date: Thu Apr  7 21:42:08 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- icon for coqide desktop entry

---- Files affected:
packages/coq:
   coqide.xpm (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/coq/coqide.xpm
diff -u /dev/null packages/coq/coqide.xpm:1.1
--- /dev/null	Thu Apr  7 23:42:08 2011
+++ packages/coq/coqide.xpm	Thu Apr  7 23:42:03 2011
@@ -0,0 +1,52 @@
+/* XPM */
+static char *coq2_3[] = {
+/* columns rows colors chars-per-pixel */
+"32 32 14 1 ",
+"  c black",
+". c #330000",
+"X c #660000",
+"o c #800000",
+"O c #990000",
+"+ c #CC0000",
+"@ c red",
+"# c #996600",
+"$ c #FF9900",
+"% c yellow",
+"& c #868686",
+"* c gray80",
+"= c gray100",
+"- c None",
+/* pixels */
+"--------     *------------------",
+"------- @@+OX *-----------------",
+"------- @+++XX *-*     *--------",
+"------- @+++OXX -  @+OX --------",
+"------- @++++OX - @++OX --------",
+"------- @@++++OX  @++OX -*    *-",
+"-------- @@++++XX @++OX - @@OO *",
+"--------- @@@++OX @++OX  @++++X ",
+"----------  @++++++++++ @+++++X ",
+"-----------*          +++++++OX ",
+"----------* =========* ++++++OX ",
+"---------- ====      =* ++++OXX ",
+"---------* === ====== =* +OOXX. ",
+"--------- === === #=== =& XX.  *",
+"----*      == == = #== =&&   *--",
+"-*   %%%%%% =           =&& *---",
+"- %%%%%%%%%% ============*& ----",
+"* %%%%%$$$$%% ===========*& ----",
+" %%%%$$$$$$ % ===========*& ----",
+" %%$$$$$$$ %% ===========*&& ---",
+" %%$      %%$ ===========**& ---",
+" %$ %%%%%%%$$ ===========**& ---",
+"    %%%%$$$$  ===========**& ---",
+" ---        o   ======*==**& ---",
+"-------- @+Oo == =====**=**& *--",
+"-------- @+Oo == =====**=***& --",
+"-------- @+Oo =  =====******&  -",
+"-------  @+Oo  =======******&&& ",
+"------- @@+Oo =======*****  **& ",
+"------- ++Oo. =====     ** -    ",
+"-------  Oo.  =    ----- * -----",
+"--------     - ----------   ----"
+};
================================================================