Denis Davydov 6d971c4493 add ginkgo package, use it in dealii along with symengine (#10917)		2019-03-22 10:58:48 +01:00
..
boost_1.65.1_singleton.patch
boost_1.68.0.patch	dealii: patch boost 1.68.0 (#9070)	2018-08-22 09:34:47 -05:00
package.py	add ginkgo package, use it in dealii along with symengine (#10917)	2019-03-22 10:58:48 +01:00