gnu: dealii: Update to 8.5.0.
[jackhill/guix/guix.git] / gnu / packages / serveez.scm
2017-03-30 Marius BakkeMerge branch 'master' into core-updates
2017-03-29 Tobias Geerinckx... gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.
2013-12-03 Eric BavierAdd GNU Serveez