/ftp.fr.debian.org/debian/pool/main/o/openlibm/?C=M&O=A

Name	Last modified	Size
Parent Directory		-
libopenlibm-dev_0.7.0+dfsg-2_amd64.deb	2020-06-30 16:12	124K
libopenlibm3_0.7.0+dfsg-2_amd64.deb	2020-06-30 16:12	91K