Index of /pub/gwdg/ubuntu/22.04/pool/universe/c/coin3/

../
libcoin-dev_4.0.0+ds-2_amd64.deb                   19-Oct-2021 11:55              221544
libcoin-doc_4.0.0+ds-2_all.deb                     19-Oct-2021 11:55             5153062
libcoin-runtime_4.0.0+ds-2_all.deb                 19-Oct-2021 11:55               30846
libcoin80c_4.0.0+ds-2_amd64.deb                    19-Oct-2021 11:55             2425138