Remove AIGER from install section

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index 19e86681ad3b61a714abfca242890f805bba88bc..a2645a630c9adf64e4ee83c5ffb95c4f2121672a 100644 (file)
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -122,14 +122,6 @@ http://fmv.jku.at/boolector/
    make
    sudo cp boolector/bin/boolector /usr/local/bin/boolector
 
-Other packages
-~~~~~~~~~~~~~~
-
-Until I find the time to write install guides for the following packages, this
-links must suffice:
-
-  * AIGER: http://fmv.jku.at/aiger/
-
 First step: A simple BMC example
 --------------------------------