0001-gnu-dealii-Update-to-9.3.1-and-clean-up.patchDescription: Text Data
|
| From: | Paul A. Patience |
| Subject: | [bug#49500] [PATCH] gnu: dealii: Update to 9.3.0 and clean up. |
| Date: | Wed, 14 Jul 2021 01:32:41 +0000 |
deal.II 9.3.1 has been released in the meantime, so update to that. Best regards, Paul
0001-gnu-dealii-Update-to-9.3.1-and-clean-up.patch
Description: Text Data
| [Prev in Thread] | Current Thread | [Next in Thread] |