/debian-ports/pool-x32/main/d/deal.ii/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libdeal.ii-8.4.2-dbgsym_8.4.2-1_x32.deb365.6 MiB06.09.2016 00:03
libdeal.ii-8.4.2_8.4.2-1_x32.deb30.3 MiB06.09.2016 00:03
libdeal.ii-dev_8.4.2-1_x32.deb1.1 MiB06.09.2016 00:03