../ libmadness-dev_0.10.1+git20200818.eee5fd9f-2_am..> 16-Dec-2022 11:10 9817328 libmadness-dev_0.10.1+git20200818.eee5fd9f-2_ar..> 16-Dec-2022 09:27 10377600 libmadness-dev_0.10.1+git20200818.eee5fd9f-2_i3..> 16-Dec-2022 09:46 10256028