+
+
+How to report bugs
+==================
+
+If you have identified a bug in GiNaC you are welcome to send a detailed
+bug report to <ginac-list@ginac.de>. Please think about your bug! This
+means that you should include
+
+* Information about your system
+
+ - Which operating system and version (uname -a)
+ - Which C compiler and version (gcc --version)
+ - For Linux, which version of the C library
+
+ And anything else you think is relevant.
+
+* Information about your version of GiNaC
+
+ - Version and release number
+ - Which options GiNaC was configured with
+
+* How to reproduce the bug
+
+ - If it is a systematical bug in the library, a short test program
+ together with the output you get and the output you expect will
+ help us to reproduce it quickly.
+
+Patches are most welcome. If possible please make them with diff -c and
+include ChangeLog entries.