/debian-ports/pool-hurd-amd64/main/d/dune-istl/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
dune-istl_2.10.0-1_hurd-amd64.buildinfo	8.7 KiB	21.11.2024 18:03
libdune-istl-dev_2.10.0-1_hurd-amd64.deb	213.4 KiB	21.11.2024 18:03