Index of /debian/pool/main/p/pagmo
Name Last modified Size
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
libpagmo-dev_2.18.0-2+b1_amd64.deb 2024-06-30 08:45 5.5M
libpagmo-dev_2.19.1-1_amd64.deb 2024-10-12 06:40 5.7M
libpagmo8_2.18.0-2+b1_amd64.deb 2024-06-30 08:45 4.2M
libpagmo9t64_2.19.1-1_amd64.deb 2024-10-12 06:41 4.3M
pagmo_2.18.0-2.debian.tar.xz 2024-10-13 10:11 5.1K
![[TXT]](/icons/text.gif)
pagmo_2.18.0-2.dsc 2024-10-13 10:11 2.0K
![[ ]](/icons/compressed.gif)
pagmo_2.18.0.orig.tar.gz 2024-10-13 10:11 17M
pagmo_2.19.1-1.debian.tar.xz 2024-10-13 10:11 5.2K
pagmo_2.19.1-1.dsc 2024-10-13 10:11 2.1K
pagmo_2.19.1.orig.tar.gz 2024-10-13 10:11 17M
This mirror is brought to you by HR-Tech and Heiko Richter