Index of /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.deb 3833258782016-Sep-06 09:03
libdeal.ii-8.4.2_8.4.2-1_x32.deb 318171962016-Sep-06 09:03
libdeal.ii-dev_8.4.2-1_x32.deb 11904482016-Sep-06 09:03