Index of pub/pkgsrc/misc/joerg/20200520.2309/coq-8.10.2nb3/

Name	Last modified	Size
Parent Directory	21-May-2020 13:19	9kB
checksum.log	21-May-2020 05:57	1kB
configure.log	21-May-2020 05:58	6kB
depends.log	21-May-2020 05:57	11kB
pre-clean.log	21-May-2020 05:57	1kB
work.log	21-May-2020 05:58	2kB