Index of /pub/linux/INSTALL/Ubuntu/archive/ubuntu/pool/universe/m/mathcomp-multinomials

 Name                                                      Last modified      Size  Description
 Parent Directory                                                               -   
 libcoq-mathcomp-multinomials_2.2.0-1build5_amd64.deb      2024-04-09 06:03  1.6M  
 libcoq-mathcomp-multinomials_2.2.0-3build6_amd64.deb      2024-09-20 01:35  1.9M  
 libcoq-mathcomp-multinomials_2.2.0-4build1_amd64.deb      2024-11-21 16:02  1.9M  
 mathcomp-multinomials_2.2.0-1build5.debian.tar.xz         2024-04-08 07:57  8.9K  
 mathcomp-multinomials_2.2.0-1build5.dsc                   2024-04-08 07:57  2.3K  
 mathcomp-multinomials_2.2.0-3build6.debian.tar.xz         2024-09-17 16:56  8.9K  
 mathcomp-multinomials_2.2.0-3build6.dsc                   2024-09-17 16:56  2.2K  
 mathcomp-multinomials_2.2.0-4build1.debian.tar.xz         2024-11-21 16:01  9.1K  
 mathcomp-multinomials_2.2.0-4build1.dsc                   2024-11-21 16:01  2.2K  
 mathcomp-multinomials_2.2.0.orig.tar.gz                   2024-01-20 23:35   79K