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

../
coq-libs_8.0pl3-2_all.deb                          21-Jan-2020 13:46             3737024
coq7-libs_8.0pl3-2_all.deb                         21-Jan-2020 13:46             3812424
coq_8.0pl3-2_amd64.deb                             21-Jan-2020 13:41             6548422
coq_8.0pl3-2_i386.deb                              21-Jan-2020 16:03             6111850
coqide_8.0pl3-2_amd64.deb                          21-Jan-2020 13:39             3661384
coqide_8.0pl3-2_i386.deb                           21-Jan-2020 16:04             3441578