Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/c/coq-relation-algebra/?C=M;O=A

 Name                                         Last modified      Size  
 Parent Directory                                                  -   
 coq-relation-algebra_1.7.8.orig.tar.gz       23-Sep-2022 16:29  192K  
 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  
 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_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.8-2+b1_arm64.deb 13-Feb-2023 08:44  1.9M  
 coq-relation-algebra_1.7.9.orig.tar.gz       14-Jun-2023 15:57  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  
 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_i386.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+b2_armhf.deb 01-Apr-2024 01:35  1.9M  
 coq-relation-algebra_1.7.10-3.debian.tar.xz  30-Apr-2024 23:09  2.1K  
 coq-relation-algebra_1.7.10-3.dsc            30-Apr-2024 23:09  2.2K  
 coq-relation-algebra_1.7.10.orig.tar.gz      30-Apr-2024 23:09  192K  
 libcoq-relation-algebra_1.7.10-3_arm64.deb   30-Apr-2024 23:39  2.0M  
 libcoq-relation-algebra_1.7.10-3_amd64.deb   30-Apr-2024 23:39  2.0M  
 libcoq-relation-algebra_1.7.10-3_i386.deb    30-Apr-2024 23:42  2.0M  
 libcoq-relation-algebra_1.7.10-3_riscv64.deb 01-May-2024 00:17  2.0M  

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