Welcome to ftp.nluug.nl Current directory: /pub/pub/debian/pool/main/b/boogie/

 Name                                 Last modified      Size  
 Parent Directory                                          -   
 boogie_2.4.1+dfsg-0.1.debian.tar.xz  27-Dec-2019 22:52  8.9K  
 boogie_2.4.1+dfsg-0.1.dsc            27-Dec-2019 22:52  1.9K  
 boogie_2.4.1+dfsg-0.1_all.deb        27-Dec-2019 23:17   16K  
 boogie_2.4.1+dfsg.orig.tar.xz        27-Dec-2019 22:52  1.1M  
 libboogie-cil_2.4.1+dfsg-0.1_all.deb 27-Dec-2019 23:17  573K  

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