diff options
Diffstat (limited to 'debian/coq.xpm')
-rw-r--r-- | debian/coq.xpm | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/debian/coq.xpm b/debian/coq.xpm new file mode 100644 index 00000000..e58ebad7 --- /dev/null +++ b/debian/coq.xpm @@ -0,0 +1,54 @@ +/* XPM */ +static char *coq[] = { +/* columns rows colors chars-per-pixel */ +"32 32 16 1", +" c #220C08", +". c #342A2C", +"X c #5A261F", +"o c #6A4D4B", +"O c #923827", +"+ c #BF381C", +"@ c #996252", +"# c #837671", +"$ c #D35E3A", +"% c #CA7852", +"& c #E19667", +"* c #A59082", +"= c #B9ADA8", +"- c #EAB48F", +"; c #F2D3B6", +": c #FCFDF9", +/* pixels */ +"::::::::::::::::::::::::::::::::", +"::::::::::::::::::::::::::::::::", +":::::X.:::::::::::::::::::::::::", +"::::++-==:::::::::::::::::::::::", +":::+;;+$:*::::::::::::::::::::::", +":::;-++%:: :::::::::::::::::::::", +":::*+++#:::;::::::::::::::::::::", +"::::= +O::::::::::::::::::::::::", +":::::: :::::o:::::::::::::::::::", +"::::::=;:::::=::::::::::::::*:::", +"::::::;::::::::: :::::::::::=:::", +":::::=:::::::::::::::::: :::.:::", +":::::*:::::::::::::.::.::::;X:::", +":::::;::::::::::::::o:::;:-*.:::", +"::::*;;;::::::;;:;-::--:;&&&X:::", +"::::#;;;;-;;::;;;;;-;;--%%-%::::", +":::::--;;@;;;;;-;-;--%oO%&% ::::", +":::::.--;-@%&--&&%$$OOXO%%@:::::", +"::::::o&--& O+XO&& XXX Oo ::::::", +"::::::;@%%&%$ XX$X X Oo@ ::::::", +"::::::::=O$OO+XX O X OO@ :::::::", +"::::::::::;+X O%OOOOOOOo::::::::", +"::::::::::::oOOXXX X ::::::::::", +":::::::::::::XX X X::::::::::::", +":::::::::::::: .:::::::::::::", +":::::::::::::: o:.::::::::::::::", +":::::::::::::: #:.::::::::::::::", +":::::::::::-oX%oo&*:::::::::::::", +"::::::::::::o.#:::=@::::::::::::", +"::::::::::::::::::::::::::::::::", +"::::::::::::::::::::::::::::::::", +"::::::::::::::::::::::::::::::::" +}; |