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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
dune-typetree_2.10.0-1_hurd-amd64.buildinfo	8.1 KiB	21.11.2024 12:03
libdune-typetree-dev_2.10.0-1_hurd-amd64.deb	40.7 KiB	21.11.2024 12:03