Index of /stable/debian-5-official-release/pool/main/c/coq/

../
coq-libs_8.1.pl3+dfsg-1_all.deb                    21-Jan-2020 12:46            12591954
coq_8.1.pl3+dfsg-1+b2_amd64.deb                    21-Jan-2020 12:47             9037734
coq_8.1.pl3+dfsg-1+b2_i386.deb                     21-Jan-2020 16:24             8462404
coqide_8.1.pl3+dfsg-1+b2_amd64.deb                 21-Jan-2020 12:50             5231298
coqide_8.1.pl3+dfsg-1+b2_i386.deb                  21-Jan-2020 16:27             4927074