Hi Matthias,
Thanks! I'll pass along the advice to fetch and build the development 
version and otherwise wait for the 18.04 release.


On Thursday, April 12, 2018 at 4:36:53 PM UTC-4, Matthias Maier wrote:
> Status update: 
>  - We missed the opportunity to do a rebuild for 17.10 [1] 
>  - In the upcoming 18.04 release everything should be fine again 
>    (release should be at the end of this month). 
> Best, 
> Matthias 
> [1] https://bugs.launchpad.net/ubuntu/+source/deal.ii/+bug/1729454 

The deal.II project is located at http://www.dealii.org/
For mailing list/forum options, see 
You received this message because you are subscribed to the Google Groups 
"deal.II User Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to dealii+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to