Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/c/coq-extructures/

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 coq-extructures_0.3.1-3.debian.tar.xz     27-Jan-2023 07:18  2.0K  
 coq-extructures_0.3.1-3.dsc               27-Jan-2023 07:18  2.1K  
 coq-extructures_0.3.1.orig.tar.gz         16-Jul-2022 14:44   37K  
 coq-extructures_0.4.0-1.debian.tar.xz     22-Dec-2023 12:07  2.2K  
 coq-extructures_0.4.0-1.dsc               22-Dec-2023 12:07  2.1K  
 coq-extructures_0.4.0.orig.tar.gz         22-Dec-2023 12:07   41K  
 libcoq-extructures_0.3.1-3+b1_amd64.deb   14-Feb-2023 07:11  574K  
 libcoq-extructures_0.3.1-3+b1_arm64.deb   14-Feb-2023 07:11  574K  
 libcoq-extructures_0.3.1-3+b1_armhf.deb   14-Feb-2023 07:11  573K  
 libcoq-extructures_0.3.1-3+b1_i386.deb    14-Feb-2023 07:11  574K  
 libcoq-extructures_0.4.0-1+b1_amd64.deb   16-Feb-2024 16:15  630K  
 libcoq-extructures_0.4.0-1+b1_arm64.deb   16-Feb-2024 19:07  631K  
 libcoq-extructures_0.4.0-1+b1_armhf.deb   16-Feb-2024 16:04  630K  
 libcoq-extructures_0.4.0-1+b1_i386.deb    16-Feb-2024 16:35  631K  
 libcoq-extructures_0.4.0-1+b2_amd64.deb   20-Mar-2024 07:34  631K  
 libcoq-extructures_0.4.0-1+b2_arm64.deb   20-Mar-2024 07:24  630K  
 libcoq-extructures_0.4.0-1+b2_armhf.deb   01-Apr-2024 02:05  630K  
 libcoq-extructures_0.4.0-1+b2_i386.deb    20-Mar-2024 05:55  630K  
 libcoq-extructures_0.4.0-1+b2_riscv64.deb 12-Apr-2024 08:01  631K  

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