Index of /transitions/20240715/ocaml-5.2.0/pool/mathcomp-multinomials/

../
libcoq-mathcomp-multinomials_2.2.0-2+ocaml1_amd..> 15-Jul-2024 21:54             1761336
mathcomp-multinomials_2.2.0-2+ocaml1.debian.tar.xz 15-Jul-2024 21:54                8964
mathcomp-multinomials_2.2.0-2+ocaml1.dsc           15-Jul-2024 21:54                1394
mathcomp-multinomials_2.2.0-2+ocaml1_amd64-2024..> 15-Jul-2024 21:54               64954
mathcomp-multinomials_2.2.0-2+ocaml1_amd64.build   15-Jul-2024 21:54               64954
mathcomp-multinomials_2.2.0-2+ocaml1_amd64.buil..> 15-Jul-2024 21:54                7128
mathcomp-multinomials_2.2.0-2+ocaml1_amd64.changes 15-Jul-2024 21:54                2185
mathcomp-multinomials_2.2.0.orig.tar.gz            15-Jul-2024 21:54               81190