Sorted out. Sorry to bother. Alberto
*Alberto Salvadori* Dipartimento di Ingegneria Meccanica e Industriale (DIMI) Universita` di Brescia, via Branze 43, 25123 Brescia Italy tel 030 3715426 e-mail: alberto.salvad...@unibs.it web-page: http://m4lab.unibs.it/faculty.html On Tue, Feb 14, 2023 at 1:09 PM Alberto Salvadori < alberto.salvad...@unibs.it> wrote: > Dear community > > I would like to install the dealii version 9.2.0 via candi. I noticed the > file VERSION and assumed that replacing "9.4.2-r2" with "9.2.0" would work. > Apparently it is not effective, candi is still unpacking in the directory > deal.ii-v9.4.2. Can anyone address me to solve the issue? > > Many thanks! > > Alberto > > > Informativa sulla Privacy: https://www.unibs.it/it/node/1452 > > -- > The deal.II project is located at http://www.dealii.org/ > For mailing list/forum options, see > https://groups.google.com/d/forum/dealii?hl=en > --- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/dealii/4074cb43-9656-476b-ad5e-9b34fc73dc32n%40googlegroups.com > <https://groups.google.com/d/msgid/dealii/4074cb43-9656-476b-ad5e-9b34fc73dc32n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- Informativa sulla Privacy: https://www.unibs.it/it/node/1452 <https://www.unibs.it/it/node/1452> -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/dealii/CABcATpdqu-7CZ%2B5GLrPYGWJACUCBtPSVXhWMHoUTeoTA6tzvVw%40mail.gmail.com.
