mirrord

/debian/pool/main/o/ompl
← index
Debian (HTTP)
Debian (HTTP) / pool / main / o / ompl
NameSizeModified
libompl-dev_1.6.0+ds1-5_amd64.deb 250.4 KiB 2026-06-16 16:42:48
libompl17_1.6.0+ds1-5_amd64.deb 1.7 MiB 2026-06-16 16:42:49
ompl-demos_1.6.0+ds1-5_all.deb 53.8 KiB 2026-06-16 16:42:49
ompl-plannerarena_1.6.0+ds1-5_all.deb 18.3 KiB 2026-06-16 16:42:49
Info
Disk — Total: 2048.0 GiB · Used: 494.8 GiB · Free: 1553.2 GiB · 24.2%
Statusidle
Last Sync2026-06-16 18:27:49
Duration2064.6s
Total Syncs1
Failures0
Downloads645
Served0.1 GiB
Next sync: 3h 3m
mirrord v0.1.0 — loaded 2026-06-16 22:35:58