# deal.ii currently hosts its downloads under
#   https://code.google.com/p/dealii/downloads/list
# But given the fact that code.google has shut down its file hosting
# services for new downloads in january 2014, this will change soon.
#
# New releases are announced at http://www.dealii.org.
