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

 Name                                           Last modified      Size  
 Parent Directory                                                    -   
 coq-relation-algebra_1.7.8-2.debian.tar.xz     26-Jan-2023 13:44  1.6K  
 coq-relation-algebra_1.7.8-2.dsc               26-Jan-2023 13:44  2.2K  
 coq-relation-algebra_1.7.8.orig.tar.gz         23-Sep-2022 16:29  192K  
 coq-relation-algebra_1.7.9-2.debian.tar.xz     22-Dec-2023 12:07  2.2K  
 coq-relation-algebra_1.7.9-2.dsc               22-Dec-2023 12:07  2.2K  
 coq-relation-algebra_1.7.9.orig.tar.gz         14-Jun-2023 15:57  192K  
 libcoq-relation-algebra_1.7.8-2+b1_amd64.deb   13-Feb-2023 08:28  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_arm64.deb   13-Feb-2023 08:44  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_armhf.deb   13-Feb-2023 08:28  1.9M  
 libcoq-relation-algebra_1.7.8-2+b1_i386.deb    13-Feb-2023 08:39  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_amd64.deb   16-Feb-2024 16:09  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_arm64.deb   16-Feb-2024 18:41  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_armhf.deb   16-Feb-2024 15:24  1.9M  
 libcoq-relation-algebra_1.7.9-2+b1_i386.deb    16-Feb-2024 16:09  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_amd64.deb   20-Mar-2024 06:00  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_arm64.deb   20-Mar-2024 06:37  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_armhf.deb   01-Apr-2024 01:35  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_i386.deb    20-Mar-2024 04:26  1.9M  
 libcoq-relation-algebra_1.7.9-2+b2_riscv64.deb 12-Apr-2024 08:01  1.9M  

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