Host4Biz mirror server

Index of /debian/pool/main/p/pagmo/

---

../
libpagmo-dev_2.18.0-2+b1_amd64.deb                 13-Jun-2022 15:54      6M
libpagmo8_2.18.0-2+b1_amd64.deb                    13-Jun-2022 15:54      4M
pagmo_2.18.0-2.debian.tar.xz                       10-Jun-2022 15:49    5200
pagmo_2.18.0-2.dsc                                 10-Jun-2022 15:49    2096
pagmo_2.18.0.orig.tar.gz                           27-May-2022 22:27     17M

---