Index of /pub/linux/raspbian/raspbian/pool/main/w/why

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] libwhy-coq_2.40-3_all.deb                 2018-05-13 19:02   51K  
[   ] why_2.40-3+b20_armhf.deb                  2018-11-25 13:08  2.9M  
[   ] why_2.40-3.debian.tar.xz                  2018-05-13 18:10   12K  
[TXT] why_2.40-3.dsc                            2018-05-13 18:10  2.3K  
[   ] why_2.40.orig.tar.gz                      2018-05-12 16:48  1.4M