Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/c/cvc5/

 Name                               Last modified      Size  
 Parent Directory                                        -   
 cvc5_1.0.3-1.debian.tar.xz         20-Dec-2022 04:26  5.8K  
 cvc5_1.0.3-1.dsc                   20-Dec-2022 04:26  2.3K  
 cvc5_1.0.3-1_amd64.deb             20-Dec-2022 06:55  105K  
 cvc5_1.0.3-1_arm64.deb             20-Dec-2022 06:29   95K  
 cvc5_1.0.3.orig.tar.gz             20-Dec-2022 04:26  7.9M  
 cvc5_1.1.1-1.debian.tar.xz         12-Feb-2024 04:02  6.8K  
 cvc5_1.1.1-1.dsc                   12-Feb-2024 04:02  2.4K  
 cvc5_1.1.1-1_amd64.deb             12-Feb-2024 04:53  107K  
 cvc5_1.1.1-1_arm64.deb             12-Feb-2024 05:34   94K  
 cvc5_1.1.1.orig.tar.gz             12-Feb-2024 04:02  8.1M  
 cvc5_1.1.2-2.debian.tar.xz         19-Mar-2024 23:22  7.2K  
 cvc5_1.1.2-2.dsc                   19-Mar-2024 23:22  2.4K  
 cvc5_1.1.2-2_amd64.deb             20-Mar-2024 02:42  108K  
 cvc5_1.1.2-2_arm64.deb             20-Mar-2024 03:29   96K  
 cvc5_1.1.2-2_armhf.deb             20-Mar-2024 00:28  100K  
 cvc5_1.1.2-2_i386.deb              20-Mar-2024 00:08  111K  
 cvc5_1.1.2-2_riscv64.deb           21-Mar-2024 12:14  100K  
 cvc5_1.1.2.orig.tar.gz             03-Mar-2024 03:53  8.2M  
 libcvc5-1_1.0.3-1_amd64.deb        20-Dec-2022 06:55  5.6M  
 libcvc5-1_1.0.3-1_arm64.deb        20-Dec-2022 06:29  4.7M  
 libcvc5-1_1.1.1-1_amd64.deb        12-Feb-2024 04:53  6.0M  
 libcvc5-1_1.1.1-1_arm64.deb        12-Feb-2024 05:34  5.1M  
 libcvc5-1_1.1.2-2_amd64.deb        20-Mar-2024 02:42  6.1M  
 libcvc5-1_1.1.2-2_arm64.deb        20-Mar-2024 03:29  5.2M  
 libcvc5-1_1.1.2-2_armhf.deb        20-Mar-2024 00:29  5.2M  
 libcvc5-1_1.1.2-2_i386.deb         20-Mar-2024 00:08  6.7M  
 libcvc5-1_1.1.2-2_riscv64.deb      21-Mar-2024 12:14  6.1M  
 libcvc5-dev_1.0.3-1_amd64.deb      20-Dec-2022 06:55   57K  
 libcvc5-dev_1.0.3-1_arm64.deb      20-Dec-2022 06:29   57K  
 libcvc5-dev_1.1.1-1_amd64.deb      12-Feb-2024 04:53   78K  
 libcvc5-dev_1.1.1-1_arm64.deb      12-Feb-2024 05:34   78K  
 libcvc5-dev_1.1.2-2_amd64.deb      20-Mar-2024 02:42   91K  
 libcvc5-dev_1.1.2-2_arm64.deb      20-Mar-2024 03:29   91K  
 libcvc5-dev_1.1.2-2_armhf.deb      20-Mar-2024 00:29   91K  
 libcvc5-dev_1.1.2-2_i386.deb       20-Mar-2024 00:08   91K  
 libcvc5-dev_1.1.2-2_riscv64.deb    21-Mar-2024 12:14   91K  
 libcvc5parser1_1.0.3-1_amd64.deb   20-Dec-2022 06:55  300K  
 libcvc5parser1_1.0.3-1_arm64.deb   20-Dec-2022 06:29  267K  
 libcvc5parser1_1.1.1-1_amd64.deb   12-Feb-2024 04:53  226K  
 libcvc5parser1_1.1.1-1_arm64.deb   12-Feb-2024 05:34  199K  
 libcvc5parser1_1.1.2-2_amd64.deb   20-Mar-2024 02:42  229K  
 libcvc5parser1_1.1.2-2_arm64.deb   20-Mar-2024 03:29  201K  
 libcvc5parser1_1.1.2-2_armhf.deb   20-Mar-2024 00:29  200K  
 libcvc5parser1_1.1.2-2_i386.deb    20-Mar-2024 00:08  248K  
 libcvc5parser1_1.1.2-2_riscv64.deb 21-Mar-2024 12:14  219K  
 python3-cvc5_1.1.1-1_amd64.deb     12-Feb-2024 04:53  317K  
 python3-cvc5_1.1.1-1_arm64.deb     12-Feb-2024 05:34  287K  
 python3-cvc5_1.1.2-2_amd64.deb     20-Mar-2024 02:42  321K  
 python3-cvc5_1.1.2-2_arm64.deb     20-Mar-2024 03:29  291K  
 python3-cvc5_1.1.2-2_armhf.deb     20-Mar-2024 00:29  300K  
 python3-cvc5_1.1.2-2_i386.deb      20-Mar-2024 00:08  308K  
 python3-cvc5_1.1.2-2_riscv64.deb   21-Mar-2024 12:14  314K  

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