Index of /repo/ubuntu18/archive.ubuntu.com/ubuntu/pool/universe/w/why/

../
libwhy-coq_2.39-2build1_all.deb                    19-Oct-2021 09:10               35376
why_2.39-2build1_amd64.deb                         19-Oct-2021 09:10             3472352