Getting prepared for the licensing-problems-free 8.0 release of COQ.

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.#:::=@::::::::::::",
+"::::::::::::::::::::::::::::::::",
+"::::::::::::::::::::::::::::::::",
+"::::::::::::::::::::::::::::::::"
+};