Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/m/mathcomp-analysis/?C=M;O=A

 Name                                           Last modified      Size  
 Parent Directory                                                    -   
 mathcomp-analysis_0.6.0.orig.tar.gz            14-Dec-2022 16:46  701K  
 mathcomp-analysis_0.6.0-2.debian.tar.xz        27-Jan-2023 07:49  8.6K  
 mathcomp-analysis_0.6.0-2.dsc                  27-Jan-2023 07:49  2.3K  
 libcoq-mathcomp-analysis_0.6.0-2+b1_amd64.deb  14-Feb-2023 11:59   10M  
 libcoq-mathcomp-analysis_0.6.0-2+b1_i386.deb   14-Feb-2023 12:00   10M  
 libcoq-mathcomp-analysis_0.6.0-2+b1_arm64.deb  14-Feb-2023 12:17   10M  
 mathcomp-analysis_1.0.0-1.debian.tar.xz        29-Jan-2024 10:23  9.0K  
 mathcomp-analysis_1.0.0-1.dsc                  29-Jan-2024 10:23  2.3K  
 mathcomp-analysis_1.0.0.orig.tar.gz            29-Jan-2024 10:23  1.1M  
 libcoq-mathcomp-analysis_1.0.0-1+b1_i386.deb   16-Feb-2024 17:10   13M  
 libcoq-mathcomp-classical_1.0.0-1+b1_i386.deb  16-Feb-2024 17:10  2.1M  
 libcoq-mathcomp-analysis_1.0.0-1+b1_amd64.deb  16-Feb-2024 17:10   13M  
 libcoq-mathcomp-classical_1.0.0-1+b1_amd64.deb 16-Feb-2024 17:10  2.1M  
 libcoq-mathcomp-analysis_1.0.0-1+b1_arm64.deb  16-Feb-2024 19:37   13M  
 libcoq-mathcomp-classical_1.0.0-1+b1_arm64.deb 16-Feb-2024 19:37  2.1M  
 libcoq-mathcomp-analysis_1.0.0-1+b2_armhf.deb  01-Apr-2024 23:09   13M  
 libcoq-mathcomp-classical_1.0.0-1+b2_armhf.deb 01-Apr-2024 23:09  2.1M  
 mathcomp-analysis_1.1.0-2.debian.tar.xz        01-May-2024 20:51  9.1K  
 mathcomp-analysis_1.1.0-2.dsc                  01-May-2024 20:51  2.4K  
 mathcomp-analysis_1.1.0.orig.tar.gz            01-May-2024 20:51  1.1M  
 libcoq-mathcomp-analysis_1.1.0-2_i386.deb      01-May-2024 21:31   13M  
 libcoq-mathcomp-classical_1.1.0-2_i386.deb     01-May-2024 21:31  2.5M  
 libcoq-mathcomp-analysis_1.1.0-2_amd64.deb     01-May-2024 21:36   13M  
 libcoq-mathcomp-classical_1.1.0-2_amd64.deb    01-May-2024 21:36  2.5M  
 libcoq-mathcomp-analysis_1.1.0-2_arm64.deb     01-May-2024 22:06   13M  
 libcoq-mathcomp-classical_1.1.0-2_arm64.deb    01-May-2024 22:06  2.5M  
 libcoq-mathcomp-analysis_1.1.0-2_riscv64.deb   02-May-2024 02:24   13M  
 libcoq-mathcomp-classical_1.1.0-2_riscv64.deb  02-May-2024 02:24  2.5M  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!