Index of /pub/gwdg/ubuntu/22.04/pool/universe/o/openlibm/

../
libopenlibm-dev_0.7.0+dfsg-2_amd64.deb             30-Jun-2020 17:33              126160
libopenlibm3_0.7.0+dfsg-2_amd64.deb                30-Jun-2020 17:33               91764