dealii/dealii — pull request #116 by bangerth (2014-08-25 13:06:49+00:00)
Title: Add back the spirit sublibrary of boost.

We apparently need it from the serialization sublibrary.